A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
Cherniavsky, John C., Kamin, Samuel N.Volume:
26
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/322108.322120
Date:
January, 1979
File:
PDF, 598 KB
english, 1979