An Introduction to Software Verification with Whiley.

David J. Pearce Mark Utting Lindsay Groves

Published in: SETSS (2018)

Keyphrases

artificial intelligence
clustering algorithm
probability distribution
databases
data mining
computer vision
decision trees
bayesian networks
data analysis
association rules
signal processing
model selection