Correct-program technology/Extensibility of verifiers. Two papers on program verification.
Subtitle: By Martin Davis and J.T. Schwartz.
Contributors: Schwartz, J.T.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1977
Place of publication: New York
Language: eng
Number of pages: 146