Sign in

Automatic verification of Dafny programs with traits.

Reza AhmadiK. Rustan M. LeinoJyrki Nummenmaa
Published in: FTfJP@ECOOP (2015)
Keyphrases
  • data sets
  • computer programs
  • automatic programming
  • social networks
  • multimedia
  • website
  • bayesian networks
  • learning environment
  • expert systems
  • control structures