Program verification through characteristic formulae.

Arthur Charguéraud

Published in: ICFP (2010)

Keyphrases

real time
data sets
neural network
artificial intelligence
image sequences
feature extraction
management system
rough sets