Z! in Progress: Maintaining Z Specifications.

Peter T. Breuer

Published in: Z User Workshop (1990)

Keyphrases

high level
databases
data mining
lower bound
concurrent systems
data structure
formal specification
delay insensitive