Manuel Leuenberger Software Composition Group Telefon +41 31 511 7639 E-Mail manuel.leuenberger@inf.unibe.ch Büro 106 Postadresse Schützenmattstrasse 14 3012 Bern