Proving System Correctness with KIV 3.0.

Wolfgang Reif Gerhard Schellhorn Kurt Stenzel

Published in: CADE (1997)

Keyphrases

data mining
databases
real world
decision making
association rules
special case
dynamic programming