Guidelines for Formal Verification Systems
Publisher: United States Government Printing Office
Published: 1989
Language: eng
ISBN-13: 9780160015311
Subjects: Nuclear weapons (international law); Nuclear nonproliferation