%0 Conference Paper %1 conf/seke/SandersZ08 %A Sanders, Sherri M. %A Zhang, Cui %B SEKE %D 2008 %I Knowledge Systems Institute Graduate School %K dblp %P 824-829 %T Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts. %U http://dblp.uni-trier.de/db/conf/seke/seke2008.html#SandersZ08 %@ 1-891706-22-5

@inproceedings{conf/seke/SandersZ08, added-at = {2008-09-12T00:00:00.000+0200}, author = {Sanders, Sherri M. and Zhang, Cui}, biburl = {https://www.bibsonomy.org/bibtex/27cd76b513b2f5159961764885638252d/dblp}, booktitle = {SEKE}, crossref = {conf/seke/2008}, ee = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2008_Proceedings.pdf}, interhash = {3b51a769feae65eb8788ad455893b485}, intrahash = {7cd76b513b2f5159961764885638252d}, isbn = {1-891706-22-5}, keywords = {dblp}, pages = {824-829}, publisher = {Knowledge Systems Institute Graduate School}, timestamp = {2020-03-13T12:21:16.000+0100}, title = {Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2008.html#SandersZ08}, year = 2008 }