Translating B machines to JML specifications.

Néstor Cataño Tim Wahls Camilo Rueda Víctor Rivera Danni 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