Login / Signup

Applying Formal Methods to Process Innovation.

Antonella SantoneMaria Tortorella
Published in: FGIT-ASEA (2009)
Keyphrases
  • formal methods
  • development lifecycle
  • formal specification
  • databases
  • development process
  • formal analysis