Login / Signup

Developing verified programs with Dafny.

K. Rustan M. Leino
Published in: HILT (2012)
Keyphrases
  • automatic programming
  • programming environment
  • real time
  • data sets
  • image processing