Non-atomic Refinement in Z.

John Derrick Eerke A. Boiten

Published in: World Congress on Formal Methods (1999)

Keyphrases

refinement process
information retrieval
object recognition
database
data sets
high quality
training set
scheduling problem