Lectures

Sommersemester 2002 (mit Werner Stephan): Formale Software-Entwicklung, TU Darmstadt
Sommersemester 2003 (mit Georg Rock): Formale Softwareentwicklung, Universität Saarbrücken

Last modified: Mon Apr 28, 2003