Foundations of Programme Verification - Rilegato

Loeckx, Jacques; Etc.

 
9780471903239: Foundations of Programme Verification