Guidelines for formal verification systems.
Publisher: Department of Defense, National Computer  Security Center
Published: 1989
Place of publication: Fort George G. Meade, Md
Language: eng
Notes: NCSC-TG-014 version 1.