Modular Verification for Shared-Variable Concurrent Programs.

Jrgen Dingel

Browse the full CONCUR paper archive.