Journal article
Formal Verification of Nuclear Systems: Past, Present, and Future
Authors
Lawford M; Wassyng A
Journal
Information & Security An International Journal, Vol. 28, , pp. 223–235
Publisher
Procon
Publication Date
January 1, 2012
DOI
10.11610/isij.2818
ISSN
0861-5160