• Prof. Dr.

Nils Jansen

  • Künstliche Intelligenz und Formale Methoden

Universitätsstr. 140 Ruhr-University Bochum

44801 Bochum Deutschland

Room:  MC 4.151

E-Mail: n.nachname@rub.de

Office hours: By Arrangement

Table of Contents