Formal Systems Specification

@inproceedings{Broy1996FormalSS,
  title={Formal Systems Specification},
  author={Manfred Broy and Stephan Merz and Katharina Spies},
  booktitle={Lecture Notes in Computer Science},
  year={1996}
}

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…