Guidelines for formal verification systems.
National Computer Security Center (U.S.)
[Fort George G. Meade, MD] : National Computer Security Center ; [Washington, D.C. : For sale by the Supt. of Docs., U.S. G.P.O.,
1989]
Cover title.
Shipping list no.: 89-660-P.
"1 April 1989."
Includes bibliographical references (p. 35).
Final.
Computer programs
Electronic data processing departments