Modular Reasoning about Invariants over Shared State with Interposed Data Members

Cached

Download Links

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