TY  - JOUR

T1  - Guest Editorial.

JO  - Formal Asp. Comput.

PY  - 2006/01/01

AU  - Derrick J

AU  - Harman M

AU  - Hierons RM

ED  - 

VL  - 18

SP  - 1

EP  - 2

Y2  - 2024/12/22

ER  -