Martin Leucker, TU München Fak. Informatik, Garching, Germany; Charles Carroll Morgan, University of New South Wales School of Computer Science &, Sydney, NSW, Australia / 2009-07-29 / Springer Berlin Heidelberg
Kurt Jensen, University of Aarhus Dept. Computer Science, Aarhus N, Denmark; Lars M. Kristensen, Bergen University College Dept. Computer Engineering, Bergen, Norway / 2009-07-02 / Springer Berlin Heidelberg
Rafael H. Bordini, Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, Brazil; Mehdi Dastani, Utrecht University Dept. Information & Computing Sciences, Utrecht, Netherlands; J黵gen Dix, / 2009-06-23 / Springer US