Using Z to support the design of interactive safety-critical systems

@article{Johnson1995UsingZT,
  title={Using Z to support the design of interactive safety-critical systems},
  author={C. W. Johnson},
  journal={Software Engineering Journal},
  year={1995},
  volume={10},
  pages={49-60}
}
Highly Cited
This paper has 19 citations. REVIEW CITATIONS
11 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

Similar Papers

Loading similar papers…