@conference{774116,
  author = {D. Kuhn and Ramaswamy Chandramouli and R Butler},
  title = {Cost Effective Use of Formal Methods in Verification and Validation Foundations},
  year = {2002},
  month = {2002-10-01 00:10:00},
  publisher = {02 V&V Workshop, Laurel, MD, USA},
  language = {en},
}