GeorgeZR11'

@inproceedings{DBLP:conf/iri/GeorgeZR11,
  author    = {Nixon Sunny George and
               Cui Zhang and
               Anne-Louise Radimsky},
  title     = {FOZCIL: A framework for converting formal specifications
               in Object-Z to design contracts in OO programming languages},
  booktitle = {IRI},
  year      = {2011},
  pages     = {218-221},
  ee        = {http://dx.doi.org/10.1109/IRI.2011.6009549},
  crossref  = {DBLP:conf/iri/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iri/2011,
  title     = {Proceedings of the IEEE International Conference on Information
               Reuse and Integration, IRI 2011, 3-5 August 2011, Las Vegas,
               Nevada, USA},
  booktitle = {IRI},
  publisher = {IEEE Systems, Man, and Cybernetics Society},
  year      = {2011},
  isbn      = {978-1-4577-0964-7},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5996363},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}