Stephanie Balzer, Thomas R. Gross. Modular reasoning about invariants over shared state with interposed data members. In Cormac Flanagan, Jean-Christophe Filliâtre, editors, Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. pages 49-56, ACM, 2010. [doi]
Abstract is missing.