MusuvathiPCED02'

BibTeX

@inproceedings{DBLP:conf/osdi/MusuvathiPCED02,
  author    = {Madanlal Musuvathi and
               David Y. W. Park and
               Andy Chou and
               Dawson R. Engler and
               David L. Dill},
  title     = {CMC: A Pragmatic Approach to Model Checking Real Code},
  booktitle = {OSDI},
  year      = {2002},
  ee        = {http://www.usenix.org/events/osdi02/tech/musuvathi.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}