Book reviewZ—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
References (5)
Formal specification using Z
Programming from specifications
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1995 Published by Elsevier B.V.