M.: Lessons learned from a successful implementation of formal methods in an industrial project (2003)

by A Wassyng, Lawford
Venue:FME 2003: International Symposium of Formal Methods Europe Proceedings. Lecture Notes in Computer Science