Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.

Alan Wassyng, Mark Lawford

Browse the full FM paper archive.