TY  - CONF

T1  - Recent advances in refinement

JO  - ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS

PY  - 2003/01/01

AU  - Derrick J

AU  - Boiten E

ED  - Borger E

ED  - Gargantini A

ED  - Riccobene E

VL  - 2589

SP  - 33

EP  - 56

Y2  - 2024/12/22

ER  -