Login / Signup

Building an IDE for the Calculational Derivation of Imperative Programs.

Dipak L. ChaudhariOm P. Damani
Published in: F-IDE (2015)
Keyphrases
  • imperative programs
  • dynamic logic
  • data sets
  • artificial intelligence
  • case study
  • high level
  • management system
  • theorem proving