TY  - BOOK
AU  - Wordsworth, J B
TI  - Software development with Z: a practical approach to formal methods in software engineering 
SN  - 201627574
U1  - 005.12 WOR 
PY  - 1992///
KW  - Computer Science
KW  - Software Engineering
N1  - Faculty, students and Staff
UR  - https://libgen.is/book/index.php?md5=F5F780AE9CB08782C3B86861F7BC9A74
ER  -