Enhancing the Structure of Z Specifications.

Published in: Z User Workshop (1991)

Keyphrases

data sets
structural properties
database
machine learning
learning algorithm
high level
wide range
tree structure
structural information
geometric structure