Proving the Correctness of Behavioural Implementations.

Michel Bidoit Rolf Hennicker

Published in: AMAST (1995)

Keyphrases

database
special case
efficient implementation
databases
data mining
machine learning
knowledge base
support vector
data streams
software implementation