Verification modulo versions: towards usable verification.

Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fhndrich, Sam Blackshear

Browse the full PLDI paper archive.