DMCA

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

by Alan Wassyng , Mark Lawford
Venue:FME 2003: International Symposium of Formal Methods Europe Proceedings. Volume 2805 of Lecture Notes in Computer Science
Citations:21 - 13 self