AvilaFC08'

BibTeX

@inproceedings{DBLP:conf/serp/AvilaFC08,
  author    = {Carmen Avila and
               Guillermo Flores and
               Yoonsik Cheon},
  title     = {A Library-Based Approach to Translating OCL Constraints
               to JML Assertions for Runtime Checking},
  booktitle = {Software Engineering Research and Practice},
  year      = {2008},
  pages     = {403-408},
  crossref  = {DBLP:conf/serp/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/serp/2008,
  editor    = {Hamid R. Arabnia and
               Hassan Reza},
  title     = {Proceedings of the 2008 International Conference on Software
               Engineering Research {\&} Practice, SERP 2008, July 14-17,
               2008, Las Vegas Nevada, USA, 2 Volumes},
  booktitle = {Software Engineering Research and Practice},
  publisher = {CSREA Press},
  year      = {2008},
  isbn      = {1-60132-088-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}