Guidelines for formal verification systems.
Contributors: National Computer Security Center (U.S.)
Series: NCSC-TG -- 014, version-1; NCSC-TG -- 014.
Publisher: National Computer Security Center; For sale by the Supt. of Docs., U.S. G.P.O.
Published: 1989
Place of publication: [Fort George G. Meade, MD]; [Washington, D.C
Language: eng
Number of pages: 35
Subjects: Computer programs -- Verification.; Electronic data processing departments -- Security measures.
Notes: Cover title.

Shipping list no.: 89-660-P.

"1 April 1989."

Includes bibliographical references (p. 35).

Final.