• Prof. Dr.

Nils Jansen

  • Artificial Intelligence and Formal Methods

Universitätsstr.
140 Ruhr-University Bochum

44801 Bochum Deutschland

Room:  MC 4.151

E-Mail: n.jansen@rub.de

Office hours: By Arrangement

Table of Contents