Precise Thread-Modular Verification.

Alexander Malkis, Andreas Podelski, Andrey Rybalchenko

Browse the full SAS paper archive.