An interactive program verification system

Publisher Website

1 January 1975

conference paper
conference paper
Published by Association for Computing Machinery (ACM)

Vol. 10 (6), 482-492
https://doi.org/10.1145/800027.808472

Abstract

No abstract available

Keywords

Cited by 11 articles