TY  - CONF
AU  - D. Kuhn
AU  - Ramaswamy Chandramouli
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  -