Completeness of CPSA
Moses D. Liskov, Paul D. Rowe, F. Javier Thayer · 2011
The views, opinions and/or findings contained in This document was prepared for authorized this report are those of The MITRE Corporation distribution only. It has not been approved and should not be construed as an official for public release. Government position, policy, or decision, unless designated by other documentation. c © 2011 The MITRE Corporation. All Rights Reserved.