MOVES: Software Modeling and Verification
(Informatik 2)
Prof. Dr. Ir. Joost-Pieter Katoen
Computer Science
/
RWTH
/
I2
/
Teaching
/
Future
Home
News
Jobs
Contact
Staff
Teaching
Misc
Future
Current
Past
Courses
Seminars
Service
Theses
Research
MOVES Seminar
DFG-GK AlgoSyn
CS Chairs
LuFG I2
Printer-friendly
Zukünftige Lehrveranstaltungen