More Flexible Object Invariants with Less Specification Overhead.

Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jrgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel

Browse the full SEFM paper archive.