Interactive program verification using virtual programs
By: Rodney W. Topor
Contributors: University of Edinburgh
Published: 1975
Language: eng
Number of pages: 204
Notes: Thesis (doctoral)--University of Edinburgh, 1975.