Modular invariants for layered object structures. (2006)

by P Muller, A Poetzsch-Heffter, G T Leavens
Venue:Sci. Comput. Programming