Sign in

Translating B machines to JML specifications.

Néstor CatañoTim WahlsCamilo RuedaVíctor RiveraDanni Yu
Published in: SAC (2012)
Keyphrases
  • high level
  • data sets
  • neural network
  • genetic algorithm
  • computer vision
  • natural language
  • expert systems
  • software engineering
  • flowshop
  • formal language