Login / Signup
Verification of object-oriented programs: A transformational approach.
Krzysztof R. Apt
Frank S. de Boer
Ernst-Rüdiger Olderog
Stijn de Gouw
Published in:
J. Comput. Syst. Sci. (2012)
Keyphrases
</>
object oriented programs
integration testing
specification languages
impact analysis
object oriented
model checking
formal specification
black box
first order logic
artificial intelligence
software testing