Login / Signup

Proof Obligation Generation and Discharging for Recursive Definitions in VDM.

Augusto RibeiroPeter Gorm Larsen
Published in: ICFEM (2010)
Keyphrases
  • precise definition
  • genetic algorithm
  • multi agent
  • digital libraries
  • hidden markov models