LCF proof of soundness of Hoare's logic
Subtitle: a paper without a happy ending.
Series: Internal report -- CSR-146-83
Publisher: Dept. of Computer Science, Univ. of Edinburgh
Published: 1983
Place of publication: Edinburgh
Language: eng
Number of pages: 27