Safe Concurrency for Aggregate Objects with Invariants.

Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte

Browse the full SEFM paper archive.