Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.

John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine

Browse the full ICFEM paper archive.