Some Elements of Z Specification Style: Structuring Techniques.

Anthony MacDonald David A. Carrington

Published in: J. Univers. Comput. Sci. (2000)

Keyphrases

high level
formal specification
formal verification
data mining
e learning
metadata
similarity measure
digital libraries
formal language