A complete axiomatic system for proving assertions about recursive and non-recursive programs.
Publisher: University of Toronto. Department of Computer Science
Published: 1974
Place of publication: Toronto
Language: eng
Number of pages: 47
Notes: Thesis (M.Sc.)--University of Toronto, 1975.