AIFB

AIFB, "Institut für Angewandte Informatik und Formale Beschreibungsverfahren", University of Karlsruhe (TH)
(Institute for Applied Computer Science and Formal Description Methods)

D-76128 Karlsruhe
Tel.: +49 721 / 608-4751 or -4750
Fax: +49 721 / 608-6580



Contact: Dr. Pascal Hitzler