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
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 251-273
2005
Topic(s): verification
Note(s): invariants