Modular invariants for layered object structures (0)

by P Müller, A Poetzsch-Heffter, G T Leavens
Venue:In: Sci. Comput. Program. 62.3 (2006