TY  - JOUR

T1  - Guest Editorial Integrated Formal Methods.

JO  - Formal Aspects Comput.

PY  - 2005/11/15

AU  - Boiten EA

AU  - Derrick J

AU  - Smith G

ED  - 

VL  - 17

SP  - 389

EP  - 389

Y2  - 2025/11/27

ER  -