TY  - BOOK

T1  - Integrated formal methods

PY  - 2004/01/01

AU  - Boiten E

AU  - Derrick J

AU  - Smith G

ED  - Boiten E

ED  - Derrick J

ED  - Smith G

DO  - DOI: 10.1007/b96106

PB  - Springer

SN  - 9783540213772

Y2  - 2024/12/22

ER  -