Biblio
Export 1 results:
Filters: Author is Mark Lawford and Keyword is safety-critical software [Clear All Filters]
"Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.
Partner sites
