Inproceedings,
Static path conditions for Java.
C. Hammer, R. Schaade, and G. Snelting.PLAS, page 57-66. ACM, (2008)
Meta data
- BibTeX key
- conf/pldi/HammerSS08
- entry type
- inproceedings
- booktitle
- PLAS
- year
- 2008
- pages
- 57-66
- publisher
- ACM
- crossref
- conf/pldi/2008plas
- ee
- https://doi.org/10.1145/1375696.1375704
- isbn
- 978-1-59593-936-4
- url
- http://dblp.uni-trier.de/db/conf/pldi/plas2008.html#HammerSS08
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/HammerSS08
%A Hammer, Christian
%A Schaade, Rüdiger
%A Snelting, Gregor
%B PLAS
%D 2008
%E Erlingsson, Úlfar
%E Pistoia, Marco
%I ACM
%K
%P 57-66
%T Static path conditions for Java.
%U http://dblp.uni-trier.de/db/conf/pldi/plas2008.html#HammerSS08
%@ 978-1-59593-936-4
@inproceedings{conf/pldi/HammerSS08,
added-at = {2023-12-13T01:35:53.000+0100},
author = {Hammer, Christian and Schaade, Rüdiger and Snelting, Gregor},
biburl = {https://www.bibsonomy.org/bibtex/2879ee7f9f7b672c830866064884268be/admin},
booktitle = {PLAS},
crossref = {conf/pldi/2008plas},
editor = {Erlingsson, Úlfar and Pistoia, Marco},
ee = {https://doi.org/10.1145/1375696.1375704},
interhash = {73ca049bbcfe49b04751dd9c7c1afb69},
intrahash = {879ee7f9f7b672c830866064884268be},
isbn = {978-1-59593-936-4},
keywords = {},
pages = {57-66},
publisher = {ACM},
timestamp = {2023-12-13T01:35:53.000+0100},
title = {Static path conditions for Java.},
url = {http://dblp.uni-trier.de/db/conf/pldi/plas2008.html#HammerSS08},
year = 2008
}