Correct-program technology/Extensibility of verifiers. Two papers on program verification. By Martin Davis and J.T. Schwartz by Martin Davis | Menrva Books | MenrvaBooks