Sign in

The EventB2Dafny rodin plug-in.

Néstor CatañoK. Rustan M. LeinoVíctor Rivera
Published in: TOPI@ICSE (2012)
Keyphrases
  • neural network
  • machine learning
  • np hard
  • intelligent systems
  • electronic commerce
  • evolutionary computation
  • electric vehicle charging