Verification modulo versions: towards usable verification

Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear. Verification modulo versions: towards usable verification. In Michael F. P. O'Boyle, Keshav Pingali, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. pages 32, ACM, 2014. [doi]

Abstract

Abstract is missing.