Book review
Z—An introduction to formal methods (2nd edn): Antoni Diller John Wiley, Chichester (1994) £22.50 (1st edn published in 1990) ISBN 0 471 93973 0

https://doi.org/10.1016/0950-5849(95)90016-0Get rights and content

References (5)

  • David Lightfoot

    Formal specification using Z

  • Carroll Morgan

    Programming from specifications

There are more references available in the full text version of this article.

Cited by (0)

View full text