Alan Wassyng, Mark Lawford
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
FM, 2003.
@inproceedings{FME-2003-WassyngL,
author = "Alan Wassyng and Mark Lawford",
booktitle = "{Proceedings of the 12th International Symposium of Formal Methods Europe}",
doi = "10.1007/978-3-540-45236-2_9",
isbn = "3-540-40828-2",
pages = "133--153",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project}",
volume = 2805,
year = 2003,
}