%0 Conference Paper %1 conf/iri/GeorgeZR11 %A George, Nixon Sunny %A Zhang, Cui %A Radimsky, Anne-Louise %B IRI %D 2011 %I IEEE Systems, Man, and Cybernetics Society %K dblp %P 218-221 %T FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages. %U http://dblp.uni-trier.de/db/conf/iri/iri2011.html#GeorgeZR11 %@ 978-1-4577-0964-7

@inproceedings{conf/iri/GeorgeZR11, added-at = {2011-09-09T00:00:00.000+0200}, author = {George, Nixon Sunny and Zhang, Cui and Radimsky, Anne-Louise}, biburl = {https://www.bibsonomy.org/bibtex/2caf3cddb4bd80de3ac048dc77b19b253/dblp}, booktitle = {IRI}, crossref = {conf/iri/2011}, ee = {http://dx.doi.org/10.1109/IRI.2011.6009549}, interhash = {380c75542b856ba14c4022218b30a645}, intrahash = {caf3cddb4bd80de3ac048dc77b19b253}, isbn = {978-1-4577-0964-7}, keywords = {dblp}, pages = {218-221}, publisher = {IEEE Systems, Man, and Cybernetics Society}, timestamp = {2011-09-10T11:49:06.000+0200}, title = {FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages.}, url = {http://dblp.uni-trier.de/db/conf/iri/iri2011.html#GeorgeZR11}, year = 2011 }