Hoare logic for GOLOG programs.
Publisher: University of Toronto, Dept. of Computer Science
Published: 2000
Place of publication: Toronto
Language: eng
Number of pages: 106
Notes: Thesis (M.Sc.) -- University of Toronto, 2000.

MICR copy on microfiche (2 microfiches).