Sign in
Integrating Formal Specification and Software Verification and Validation.
Roger Duke
Tim Miller
Paul A. Strooper
Published in:
TFM (2004)
Keyphrases
</>
formal specification
object oriented design
process algebra
specification languages
model checking
specification language
reverse engineering
data abstraction
concurrent systems
business rules
grid workflow
software components
model checker