MOVES: Software Modeling and Verification
(Informatik 2)
Prof. Dr. Ir. Joost-Pieter Katoen
Computer Science
/
RWTH
/
I2
/
Events
/
Aachen1996
/
Node8
Home
News
Jobs
Contact
Staff
Teaching
Research
MOVES Seminar
DFG-GK AlgoSyn
CS Chairs
LuFG I2
Printer-friendly
Sponsors
Sponsors
Deutsche Forschungsgemeinschaft
The Assocation of Logic Programming
Esprit Compulog-Net
RWTH Aachen
SUN Microsystems