Building a refinement checker for Z

John Derrick Siobhán North Anthony J. H. Simons

Published in: Refine@FM (2011)

Keyphrases

social networks
image processing
data sets
website
decision trees
image sequences
multiscale
wide range
information technology
pairwise
hidden markov models