Remarks on “Program Proving: Jumps and Functions”
E.A. Ashcroft‚ M. Clint and C.A.R. Hoare
Journal
Acta Informatica
Number
3
Pages
317–318
Volume
6
Year
1976
E.A. Ashcroft‚ M. Clint and C.A.R. Hoare