Guidelines for formal verification systems.

Bibliographic Details
Corporate Author:	National Computer Security Center (U.S.)
Format:	Government Document Book
Language:	English
Published:	[Fort George G. Meade, Md.] : National Computer Security Center ; [1989]
Series:	NCSC-TG ; 014.
Subjects:	Computer programs > Verification. Electronic data processing departments > Security measures.

Evans: US Documents (Annex 5th floor)