Login / Signup
Applying Formal Methods to Process Innovation.
Antonella Santone
Maria Tortorella
Published in:
FGIT-ASEA (2009)
Keyphrases
</>
formal methods
development lifecycle
formal specification
databases
development process
formal analysis