Region analysis for deductive verification of C programs.

Mikhail U. Mandrykin Alexey V. Khoroshilov

Published in: Program. Comput. Softw. (2016)

Keyphrases

data analysis
decision trees
case study
data mining
computer vision
e learning
high level
image sequences
multiscale
image analysis
evolutionary algorithm
database languages