A verification framework for minimaple programs.

Muhammad Taimoor Khan Wolfgang Schreiner

Published in: ACM Commun. Comput. Algebra (2013)

Keyphrases

computer vision
image processing
decision trees
logic programs
lightweight
model checking
conceptual framework