Z (a formal specification method)
Subtitle: a debrief report
By: prepared by M. Norris.
Contributors: National Computing Centre.
Series: STARTS
Publisher: NCC
Published: 1986
Place of publication: Manchester
Language: eng
Number of pages: 19
Subjects: Computer programs.; Real-time data processing.