Formal specification in metamorphic programming
By: D.A. Penny, R.C. Holt, M.W. Godrey.
Contributors: Godfrey, Michael W.; Holt, R. C. 1941-; University of Toronto. Computer Systems Research Institute.
Series: Technical report CSRI -- 249
Publisher: Computer Systems Research Institute, University of Toronto
Published: 1991
Place of publication: Toronto
Language: eng
Number of pages: 19
Subjects: Computer software -- Development.
Notes: "May 1991."

Includes bibliographical references: p. 17-19.