Modular invariants for layered object structures (0)

by P Müller, A Poetzsch-Heffter, G T Leavens
Venue:Science of Computer Programming