Wissenschaftlicher Mitarbeiter Abteilung Sichere und Zuverlässige Softwaresysteme Adresse: Institut für Formale Methoden der Informatik Universität Stuttgart Universitätsstr. 38 70569 Stuttgart Büro: 1.332 Telefon: 0711 / 7816-459 Email: koziouvi@fmi.uni-stuttgart.de Veröffentlichungen