Program Proving: Jumps and Functions

Maurice Clint, C. A. R. Hoare. Program Proving: Jumps and Functions. Acta Informatica, 1:214-224, 1972.

No reviews for this publication, yet.