TY  - BOOK

T1  - Refinement in Z and Object-Z

PY  - 2001/01/01

AU  - Derrick J

AU  - Boiten E

ED  - 

PB  - Springer Verlag

SN  - 9781852332457

Y2  - 2024/10/23

ER  -