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

by Ioannis T Kassios
Venue:14th International Symposium on Formal Methods (FM’06), volume 4085 of Lecture Notes in Computer Science