Login / Signup
Formal Specification of Debuggers.
Ming-Yuan Zhu
Published in:
ACM SIGPLAN Notices (2001)
Keyphrases
</>
formal specification
model checking
specification languages
specification language
object oriented design
process algebra
formal methods
reverse engineering
concurrent systems
data abstraction
software components
model checker
machine learning
database systems
database
information systems