On assertion-based encapsulation for object invariants and simulations (0)

by David A Naumann
Venue:Formal Aspects of Computing, 2006. Special issue: Applicable Research on Formal Verification and Development