NCSC-TG-014: Guidelines for Formal Verification Systems, 1 April 1989. (Purple Book)
106eb46452101c28300bd8dc0bb47bba
© 2012 Packet Storm. All rights reserved.