%0 Conference Paper %1 conf/cases/ChenK05 %A Chen, Guangyu %A Kandemir, Mahmut T. %B CASES %D 2005 %E Conte, Thomas M. %E Faraboschi, Paolo %E Mangione-Smith, William H. %E Najjar, Walid A. %I ACM %K dblp %P 105-114 %T Verifiable annotations for embedded java environments. %U http://dblp.uni-trier.de/db/conf/cases/cases2005.html#ChenK05 %@ 1-59593-149-X

@inproceedings{conf/cases/ChenK05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chen, Guangyu and Kandemir, Mahmut T.}, biburl = {https://www.bibsonomy.org/bibtex/22f989485993d0659052b9de1757df700/dblp}, booktitle = {CASES}, crossref = {conf/cases/2005}, editor = {Conte, Thomas M. and Faraboschi, Paolo and Mangione-Smith, William H. and Najjar, Walid A.}, ee = {https://doi.org/10.1145/1086297.1086312}, interhash = {177efdf15e67e40a7daad20ddb9abcd8}, intrahash = {2f989485993d0659052b9de1757df700}, isbn = {1-59593-149-X}, keywords = {dblp}, pages = {105-114}, publisher = {ACM}, timestamp = {2018-11-07T16:31:16.000+0100}, title = {Verifiable annotations for embedded java environments.}, url = {http://dblp.uni-trier.de/db/conf/cases/cases2005.html#ChenK05}, year = 2005 }