T.Dynamic frames: Support for framing, dependencies and sharing without restrictions (2006)

by I Kassios
Venue:In FM 2006: Formal Methods, 14th International Symposium on Formal Methods