Bart Jacobs 0002, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte. Safe Concurrency for Aggregate Objects with Invariants. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 137-147, IEEE Computer Society, 2005. [doi]
Abstract is missing.