Tool Support for Production Use of Formal Techniques.

John C. Knight, P. Thomas Fletcher, Brian R. Hicks

Browse the full FM paper archive.