Lehr- und Forschungsgebiet Programmiersprachen und Verifikation
Kontaktinformationen
Zentraladresse
- Ahornstraße 55, 52074 Aachen
- +49 241 80-21201
- +49 241 80-22217
- lufgi2@cs.rwth-aachen.de
- http://verify.rwth-aachen.de/
Beschäftigte der Organisation
Organisationsdaten
-
OrgID ORG-88VAM
-
IKZ 121420
-
Abkürzung LuFGI2
-
Kategorie B.01. Fakultäten