Modular invariants for layered object structures

Cached

Download Links

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