Cyber & formal methods publications December 1, 2009 Conference PaperA Survey of Vendor Software Assurance Practices SRI International December 1, 2009 ↓ View online Share this