A package for extensible object-oriented data models with an application to IMP (2006)

by A Brucker, B Wolff
Venue:In International Verification Workshop (VERIFY