Design and verification of interactive information systems using TAXIS
By: by Harry K.T. Wong.
Contributors: University of Toronto. Computer Systems Research Group
Series: Technical report -- CSRG-129; Technical report CSRG (University of Toronto. Computer Systems Research Group) -- 129
Publisher: Computer Systems Research Group, University of Toronto
Published: 1981
Place of publication: Toronto
Language: eng
Number of pages: 149
Subjects: Electronic data processing; Interactive computer systems; Taxis (Computer program)
Notes: Thesis (Ph.D.)--University of Toronto.

Bibliography: p. 132-134.