DBLP BibTeX Record 'conf/icst/SalayCG12'

@inproceedings{DBLP:conf/icst/SalayCG12,
  author    = {Rick Salay and
               Marsha Chechik and
               Jan Gorzny},
  title     = {Towards a Methodology for Verifying Partial Model Refinements},
  booktitle = {ICST},
  year      = {2012},
  pages     = {938-945},
  ee        = {http://dx.doi.org/10.1109/ICST.2012.199, http://doi.ieeecomputersociety.org/10.1109/ICST.2012.199},
  crossref  = {DBLP:conf/icst/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icst/2012,
  editor    = {Giuliano Antoniol and
               Antonia Bertolino and
               Yvan Labiche},
  title     = {2012 IEEE Fifth International Conference on Software Testing,
               Verification and Validation, Montreal, QC, Canada, April
               17-21, 2012},
  booktitle = {ICST},
  publisher = {IEEE},
  year      = {2012},
  isbn      = {978-1-4577-1906-6},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6200016},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}