Z and the Refinement Calculus.

Published in: VDM Europe (1990)

Keyphrases

refinement process
automated deduction
machine learning
information systems
data sets
data mining
bayesian networks
logic programs
formal language
algebraic structure