Proving Programmes Correct - Softcover

Anderson, Robert B.

 
9780471033950: Proving Programmes Correct