More Flexible Object Invariants with Less Specification Overhead

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_25 ◽

2014 ◽

pp. 302-316 ◽

Author(s):

Stefan Huster ◽

Patrick Heckeler ◽

Hanno Eichelberger ◽

Jürgen Ruf ◽

Sebastian Burg ◽

...

Download Full-text