John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine. Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. In ICFEM. pages 76, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.