DBLP Record 'conf/seke/Zhang08'

BibTeX

@inproceedings{DBLP:conf/seke/Zhang08,
  author    = {Du Zhang},
  title     = {Machine Learning and Value-based Software Engineering: a
               Research Agenda},
  booktitle = {SEKE},
  year      = {2008},
  pages     = {285-290},
  crossref  = {DBLP:conf/seke/GallegosOGRSV08},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/seke/GallegosOGRSV08,
  author    = {Irbis Gallegos and
               Omar Ochoa and
               Ann Q. Gates and
               Steve Roach and
               Salamah Salamah and
               Corina Vela},
  title     = {A Property Specification Tool for Generating Formal Specifications:
               Prospec 2.0},
  booktitle = {SEKE},
  year      = {2008},
  pages     = {273-278},
  crossref  = {DBLP:conf/seke/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}