Using Z as a Specification Calculus for Object-Oriented Systems

@inproceedings{Hall1990UsingZA,
  title={Using Z as a Specification Calculus for Object-Oriented Systems},
  author={Anthony Hall},
  booktitle={VDM Europe},
  year={1990}
}
Highly Cited
This paper has 84 citations. REVIEW CITATIONS
49 Extracted Citations
0 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Similar Papers

Loading similar papers…