Assertion-based encapsulation, object invariants and simulations

David A. Naumann
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Formal Methods for Components and Objects
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 251-273
2005
Topic(s): verification
Note(s): invariants