A methodology for verifying programs

Publisher Website

1 January 1975

conference paper
Published by Association for Computing Machinery (ACM)

Vol. 10 (6), 156-164
https://doi.org/10.1145/800027.808435

Abstract

No abstract available

Keywords

Cited by 8 articles