TY  - CONF

T1  - Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

JO  - IFM

PY  - 2004/01/01

AU  - 

ED  - Boiten EA

ED  - Derrick J

ED  - Smith G

PB  - Springer

VL  - 2999

Y2  - 2024/12/22

ER  -