Modular invariants for layered object structures (2006)

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