Formal methods
Subtitle: a survey
By: Stephen Austin, Graeme I. Parkin.
Contributors: Parkin, Graeme I.; National Physical Laboratory (Great Britain)
Publisher: National Physical Laboratory
Published: 1993
Place of publication: Teddington
Language: eng
Number of pages: 82
Notes: At head of cover: National Physical Laboratory.