Data Flow Diagrams and Z

Cite this paper

@inproceedings{Randell1990DataFD, title={Data Flow Diagrams and Z}, author={Gill Randell}, booktitle={Z User Workshop}, year={1990} }