B. Molnar. Software development with Z: a practical approach to formal methods in software engineering : J B Wordsworth Addison-Wesley (1992) 334 pp £21.95 softback ISBN 0 201 62757 4. Information \& Software Technology, 34(11):763, 1992. [doi]
@article{Molnar92,
title = {Software development with Z: a practical approach to formal methods in software engineering : J B Wordsworth Addison-Wesley (1992) 334 pp £21.95 softback ISBN 0 201 62757 4},
author = {B. Molnar},
year = {1992},
doi = {10.1016/0950-5849(92)90171-K},
url = {http://dx.doi.org/10.1016/0950-5849(92)90171-K},
researchr = {https://researchr.org/publication/Molnar92},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {34},
number = {11},
pages = {763},
}