TY  - CONF
AU  - Kuhn, D.
AU  - Chandramouli, Ramaswamy
C2  - Foundations Verification and Validation Workshop, Undefined
DA  - 2002-10-01 00:10:00
LA  - en
PB  - Foundations Verification and Validation Workshop, Undefined
PY  - 2002
TI  - Cost Effective Uses of Formal Methods in Verification and Validation
ER  -