TY  - JOUR

T1  - Editorial

JO  - Formal Aspects of Computing

PY  - 2014/01/01

AU  - Boiten EA

AU  - Derrick J

AU  - Reeves S

ED  - 

DO  - DOI: 10.1007/s00165-014-0293-z

SP  - 1

EP  - 1

Y2  - 2024/12/22

ER  -