TY - JOUR T1 - Guest Editorial JO - Formal Aspects of Computing PY - 2006/01/01 AU - Derrick J AU - Harman M AU - Hierons RM ED - DO - DOI: 10.1007/s00165-005-0087-4 PB - Springer Science and Business Media LLC VL - 18 IS - 1 SP - 1 EP - 2 Y2 - 2025/03/13 ER -