Three approaches to reliable software
Subtitle: language  design, dyadic specification, complementary semantics
By: by J.E. Donahue ... [et al.].
Contributors: Donahue, James E., 1947-; University of Toronto. Computer Systems Research Group.
Series: Technical report -- CSRG-45; Technical report CSRG (University of Toronto. Computer Systems Research Group) -- 45
Publisher: Computer Systems Research Group, University of Toronto
Published: 1974
Place of publication: toronto
Language: eng
Number of pages: 123
Subjects: Electronic data processing; Computer programs; Programming languages (Electronic computers)
Notes: Includes bibliographies.