Formal method integration via heterogeneous notations
By: Richard Freeman Paige.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1997
Place of publication: Toronto
Language: eng
Number of pages: 237
Notes: Thesis (Ph.D.)--University of Toronto, 1997.