Mechanizing proofs of program properties
By: Martin Gitsels
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1998
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 1998.