Jeannette M. Wing (CMU SEI), A Symbiotic Relationship Between Formal Methods and Security,
CMU-CS-98-188, (December, 1998).
D. Richard Kuhn, Ramaswamy Chandramouli, and Ricky W. Butler (NIST, NASA Langley
Research Center), “Cost Effective Use of Formal Methods in Verification and Validation”, in Proceedings