Properties of Z specifications.

J. C. P. Woodcock

Published in: ACM SIGSOFT Softw. Eng. Notes (1989)

Keyphrases

key properties
data sets
neural network
information retrieval
e learning
three dimensional
high level
programming language