iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/pldi/LogozzoLFB14.ris
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 -