Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/pldi/ShahG16
%A Shah, Michael D.
%A Guyer, Samuel Z.
%B SOAP@PLDI
%D 2016
%E Zhang, Charles
%E Rival, Xavier
%I ACM
%K dblp
%P 7-12
%T Iceberg: a tool for static analysis of Java critical sections.
%U http://dblp.uni-trier.de/db/conf/pldi/soap2016.html#ShahG16
%@ 978-1-4503-4385-5
@inproceedings{conf/pldi/ShahG16,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Shah, Michael D. and Guyer, Samuel Z.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ecc9e5fcca8ee44ee7e7d17e0c333b20/dblp},
booktitle = {SOAP@PLDI},
crossref = {conf/pldi/2016soap},
editor = {Zhang, Charles and Rival, Xavier},
ee = {https://doi.org/10.1145/2931021.2931025},
interhash = {da585a38ecd29bcea33c71be93c5685a},
intrahash = {ecc9e5fcca8ee44ee7e7d17e0c333b20},
isbn = {978-1-4503-4385-5},
keywords = {dblp},
pages = {7-12},
publisher = {ACM},
timestamp = {2019-09-27T15:41:06.000+0200},
title = {Iceberg: a tool for static analysis of Java critical sections.},
url = {http://dblp.uni-trier.de/db/conf/pldi/soap2016.html#ShahG16},
year = 2016
}