Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens. Modular invariants for layered object structures. Science of Computer Programming, 62(3):253-286, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.