Z and Abstract Machine Notation: A Comparison.

Antoni Diller Rosemary Docherty

Published in: Z User Workshop (1994)

Keyphrases

abstract machine
data model
artificial intelligence
three dimensional
multi agent
visual languages
neural network
high quality
expert systems
image analysis