On the axiomatic verification of concurrent algorithms
By: Christian Lengauer.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1978
Place of publication: Toronto
Language: eng
Number of pages: 101
Subjects: Electronic data processing; Computer programming.; Abstract data types (Computer science)
Notes: Thesis (M.Sc.)--University of Toronto, 1978.