M. Davis and J. T. Schwartz; appendix by E. Deak. Correct-program technology/Extensibility of verifiers. Two papers on program verification. Courant Computer Science Report Number 12, September 1977.

M. Davis and J. T. Schwartz; appendix by E. Deak. Correct-program technology/Extensibility of verifiers. Two papers on program verification. Courant Computer Science Report Number 12, Courant Institute, New York University, September 1977. Mirrored from https://ia800503.us.archive.org/12/items/correctprogramte00davi

Click here to get the file