A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures.

Wolfram Pfeifer, Werner Dietl, Mattias Ulbrich

Browse the full FM paper archive.