Login / Signup
Verification of Object Oriented Programs Using Class Invariants.
Kees Huizing
Ruurd Kuiper
Published in:
FASE (2000)
Keyphrases
</>
object oriented programs
integration testing
specification languages
object oriented
model checking
formal specification
decision trees
multi agent systems
expert systems