TY  - JOUR

T1  - Guest Editorial Integrated Formal Methods.

JO  - Formal Asp. Comput.

PY  - 2005/01/01

AU  - Boiten EA

AU  - Derrick J

AU  - Smith G

ED  - 

VL  - 17

SP  - 389

EP  - 389

Y2  - 2024/12/26

ER  -