Login / Signup

Modular invariants for layered object structures.

Peter MüllerArnd Poetzsch-HeffterGary T. Leavens
Published in: Sci. Comput. Program. (2006)
Keyphrases