Forschungspraktikum: Logik, Verifikation und Theoretische Informatik
Instructor:
Viorica Sofronie-Stokkermans
<sofronie@uni-koblenz.de>
First meeting:
Thursday, 20.04.2017, 16:00 c.t., Room B 227