DBLP Record 'conf/seke/OwenM03'

BibTeX

@inproceedings{DBLP:conf/seke/OwenM03,
  author    = {David Owen and
               Tim Menzies},
  title     = {Lurch: a Lightweight Alternative to Model Checking},
  booktitle = {SEKE},
  year      = {2003},
  pages     = {158-165},
  crossref  = {DBLP:conf/seke/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/seke/2003,
  title     = {Proceedings of the Fifteenth International Conference on
               Software Engineering {\&} Knowledge Engineering (SEKE'2003),
               Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003},
  booktitle = {SEKE},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}