TY - JOUR T1 - Preface. JO - Electron. Notes Theor. Comput. Sci. PY - 2008/01/01 AU - Boiten EA AU - Derrick J AU - Schellhorn G ED - VL - 214 SP - 1 EP - 1 Y2 - 2025/03/11 ER -