DBLP Record 'conf/sew/OwenMHG03'

BibTeX

@inproceedings{DBLP:conf/sew/OwenMHG03,
  author    = {David Owen and
               Tim Menzies and
               Mats Per Erik Heimdahl and
               Jimin Gao},
  title     = {On the Advantages of Approximate vs. Complete Verification:
               Bigger Models, Faster, Less Memory, Usually Accurate},
  booktitle = {SEW},
  year      = {2003},
  pages     = {75},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270728},
  crossref  = {DBLP:conf/sew/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sew/2003,
  title     = {28th Annual IEEE / NASA Software Engineering Workshop (SEW-28
               2003), 3-4 December 2003, Greenbelt, Maryland, USA},
  booktitle = {SEW},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2064-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}