Axiomatic definitions of programming languages and logics of programs
By: by Joseph Yehuda Halpern
Published: 1981
Language: eng
Notes: Thesis (Ph. D.)--Harvard University, 1981.