Inproceedings,
Verifiable annotations for embedded java environments.
G. Chen, and M. Kandemir.CASES, page 105-114. ACM, (2005)
Meta data
- BibTeX key
- conf/cases/ChenK05
- entry type
- inproceedings
- booktitle
- CASES
- year
- 2005
- pages
- 105-114
- publisher
- ACM
- crossref
- conf/cases/2005
- ee
- https://doi.org/10.1145/1086297.1086312
- isbn
- 1-59593-149-X
- url
- http://dblp.uni-trier.de/db/conf/cases/cases2005.html#ChenK05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}