Kuhn, D.
and Chandramouli, R.
(2002),
Cost Effective Uses of Formal Methods in Verification and Validation, Foundations Verification and Validation Workshop, Undefined
(Accessed April 29, 2025)
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.