TY  - BOOK

T1  - Refinement in Z and Object-Z

PY  - 2001/04/13

AU  - Derrick J

AU  - Boiten E

ED  - 

DO  - DOI: 10.1007/978-1-4471-0257-1

PB  - Springer London

SN  - 9781852332457

Y2  - 2024/10/23

ER  -