Biblio

Export 3 results:
Filters: Author is Mark Lawford  [Clear All Filters]
2012
Lawford, Mark, and Alan Wassyng. "Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.
2003
Wassyng, Alan, and Mark Lawford. Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project In FME 2003: International Symposium of Formal Methods Europe Proceedings. Pisa, Italy, 2003.
2000
Lawford, Mark, Jeff McDougall, Peter Froebel, and Greg Moum. Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software In Algebraic Methodology and Software Technology., 2000.