TY  - CONF
AU  - D. Kuhn
AU  - Ramaswamy Chandramouli
AU  - R Butler
C2  - 02 V&V Workshop, Laurel, MD, USA
DA  - 2002-10-01 00:10:00
LA  - en
PB  - 02 V&V Workshop, Laurel, MD, USA
PY  - 2002
TI  - Cost Effective Use of Formal Methods in Verification and Validation Foundations
ER  -