Spectur--a specification language for the programmer
By: Michael W. Godfrey, Richard C. Holt.
Contributors: Holt, R. C. 1941-
Series: Technical report -- CSRI-241; Technical report CSRI -- 241
Publisher: Computer Systems Research Institute, University of Toronto
Published: 1990
Place of publication: Toronto
Language: eng
Number of pages: 17
Subjects: Spectur (Computer program language)
Notes: Includes bibliographical references.