• Prof. Dr.

Nils Jansen

  • Artificial Intelligence and Formal Methods

Universitätsstr. 140 Ruhr-University Bochum 44801 Bochum Germany

Room:  MC 4.151

E-Mail: n.lastname@rub.de

Office hours: By Arrangement

Table of Contents