Title: Correct-program technology/Extensibility of verifiers. Two papers on program verification
Subtitle: By Martin Davis and J.T. Schwartz.
First published: 1977