Modular Reasoning about Invariants over Shared State with Interposed Data Members

by Stephanie Balzer , Thomas R. Gross
Citations:1 - 1 self