Inproceedings,
Verification modulo versions: towards usable verification.
F. Logozzo, S. Lahiri, M. Fähndrich, and S. Blackshear.PLDI, page 294-304. ACM, (2014)
Meta data
- BibTeX key
- conf/pldi/LogozzoLFB14
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2014
- pages
- 294-304
- publisher
- ACM
- crossref
- conf/pldi/2014
- ee
- https://doi.org/10.1145/2594291.2594326
- isbn
- 978-1-4503-2784-8
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2014.html#LogozzoLFB14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/LogozzoLFB14
%A Logozzo, Francesco
%A Lahiri, Shuvendu K.
%A Fähndrich, Manuel
%A Blackshear, Sam
%B PLDI
%D 2014
%E O'Boyle, Michael F. P.
%E Pingali, Keshav
%I ACM
%K
%P 294-304
%T Verification modulo versions: towards usable verification.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2014.html#LogozzoLFB14
%@ 978-1-4503-2784-8
@inproceedings{conf/pldi/LogozzoLFB14,
added-at = {2023-12-13T10:58:41.000+0100},
author = {Logozzo, Francesco and Lahiri, Shuvendu K. and Fähndrich, Manuel and Blackshear, Sam},
biburl = {https://www.bibsonomy.org/bibtex/27321862e4e0c031687f0731aea651848/admin},
booktitle = {PLDI},
crossref = {conf/pldi/2014},
editor = {O'Boyle, Michael F. P. and Pingali, Keshav},
ee = {https://doi.org/10.1145/2594291.2594326},
interhash = {dca7d1a848428c6ba1f6873b8d9a5c42},
intrahash = {7321862e4e0c031687f0731aea651848},
isbn = {978-1-4503-2784-8},
keywords = {},
pages = {294-304},
publisher = {ACM},
timestamp = {2023-12-13T10:58:41.000+0100},
title = {Verification modulo versions: towards usable verification.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2014.html#LogozzoLFB14},
year = 2014
}