Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/pldi/LogozzoLFB14
AU - Logozzo, Francesco
AU - Lahiri, Shuvendu K.
AU - Fähndrich, Manuel
AU - Blackshear, Sam
TI - Verification modulo versions: towards usable verification.
BT - ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014
SP - 294
EP - 304
PY - 2014//
DO - 10.1145/2594291.2594326
UR - https://doi.org/10.1145/2594291.2594326
UR - https://doi.org/10.1145/2666356.2594326
ER -