Login / Signup

On assertion-based encapsulation for object invariants and simulations.

David A. Naumann
Published in: Formal Aspects Comput. (2007)
Keyphrases