TY  - JOUR

T1  - Formal Aspects of Computing: Editorial

JO  - Formal Aspects of Computing

PY  - 2009/01/01

AU  - Aichernig BK

AU  - Boiten E

AU  - Butler M

AU  - Derrick J

AU  - Groves L

ED  - 

DO  - DOI: 10.1007/s00165-008-0100-9

VL  - 21

IS  - 1-2

SP  - 1

Y2  - 2025/04/29

ER  -