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