Correct Program Technology Extensibility Of Verifiers Two Papers On Program | Desertcart Malaysia
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz Paperback – Import, 4 March 2018