%0 Conference Paper %1 conf/serp/AvilaFC08 %A Avila, Carmen %A Flores, Guillermo %A Cheon, Yoonsik %B Software Engineering Research and Practice %D 2008 %E Arabnia, Hamid R. %E Reza, Hassan %I CSREA Press %K dblp %P 403-408 %T A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. %U http://dblp.uni-trier.de/db/conf/serp/serp2008.html#AvilaFC08 %@ 1-60132-088-4

@inproceedings{conf/serp/AvilaFC08, added-at = {2009-02-09T00:00:00.000+0100}, author = {Avila, Carmen and Flores, Guillermo and Cheon, Yoonsik}, biburl = {https://www.bibsonomy.org/bibtex/21356ad2269c46a30785fa131a1887ed2/dblp}, booktitle = {Software Engineering Research and Practice}, crossref = {conf/serp/2008}, date = {2009-02-09}, description = {dblp}, editor = {Arabnia, Hamid R. and Reza, Hassan}, interhash = {28f3bb7fe941ed1ac7546192277a2ddf}, intrahash = {1356ad2269c46a30785fa131a1887ed2}, isbn = {1-60132-088-4}, keywords = {dblp}, pages = {403-408}, publisher = {CSREA Press}, timestamp = {2009-02-10T11:37:24.000+0100}, title = {A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.}, url = {http://dblp.uni-trier.de/db/conf/serp/serp2008.html#AvilaFC08}, year = 2008 }