@conference{795816,
  author = {D. Kuhn and Ramaswamy Chandramouli},
  title = {Cost Effective Uses of Formal Methods in Verification and Validation},
  year = {2002},
  month = {2002-10-01 00:10:00},
  publisher = {Foundations Verification and Validation Workshop, Undefined},
  language = {en},
}