Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

 FB Inf

Prof. Dr. J. Avenhaus

Address:

Jürgen Avenhaus

Leiter der AG Formale Methoden und Deduktion
Technische Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany

Tel: ++49 631 205 2633
Fax: ++49 631 205 2156

Email: avenhaus@informatik.uni-kl.de

Gebäude 34, 425
Impressum AG Formale Methoden und Deduktion Fachbereich Informatik Technische Universität Kaiserslautern Valid HTML 4.01!
Letzte Änderung: Wednesday, 26-Oct-05 14:37:06 GMT
www-aven@informatik.uni-kl.de