A view of program verification

Publisher Website

1 January 1975

conference paper
Published by Association for Computing Machinery (ACM)

Vol. 10 (6), 534-545
https://doi.org/10.1145/800027.808477

Abstract

No abstract available

Keywords

Cited by 13 articles