Christian Hammer, Rüdiger Schaade, Gregor Snelting. Static path conditions for Java. In Úlfar Erlingsson, Marco Pistoia, editors, Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. pages 57-66, ACM, 2008. [doi]
@inproceedings{HammerSS08,
title = {Static path conditions for Java},
author = {Christian Hammer and Rüdiger Schaade and Gregor Snelting},
year = {2008},
doi = {10.1145/1375696.1375704},
url = {http://doi.acm.org/10.1145/1375696.1375704},
tags = {Java},
researchr = {https://researchr.org/publication/HammerSS08},
cites = {0},
citedby = {0},
pages = {57-66},
booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008},
editor = {Úlfar Erlingsson and Marco Pistoia},
publisher = {ACM},
isbn = {978-1-59593-936-4},
}