Data Abstraction: A General Framework to Handle Program Verification of Data Structures.

Julien Braine, Laure Gonnord, David Monniaux

Browse the full SAS paper archive.