More Flexible Object Invariants with Less Specification Overhead
['Stefan Huster', 'Patrick Heckeler', 'Hanno Eichelberger', 'Jürgen Ruf', 'Sebastian Burg', 'Thomas Kropf', 'Wolfgang Rosenstiel']
More Flexible Object Invariants with Less Specification Overhead