Modular invariants for layered object structures

by Peter Müller, Arnd Poetzsch-heffter, Gary T. Leavens
Venue:Science of Computer Programming