Login / Signup
Verification of Object-Oriented Programs: a Transformational Approach
Krzysztof R. Apt
Frank S. de Boer
Ernst-Rüdiger Olderog
Published in:
CoRR (2010)
Keyphrases
</>
object oriented programs
integration testing
specification languages
impact analysis
model checking
object oriented
black box
formal specification
databases
artificial intelligence
relational databases
source code
microarray data