Formal proof of a program: Find.

Jean-Christophe Filliâtre

Published in: Sci. Comput. Program. (2007)

Keyphrases

formal proof
artificial intelligence
data sets
neural network
data mining
data structure
hidden markov models
source code
automatic programming