ETAPS
-
Topthema
RWTH-Professor ist Ehrendoktor der Aalborg University
Professor Katoen leitet den Lehrstuhl für Informatik 2 der RWTH Aachen und forscht zudem in der Gruppe „Formale Methoden und…
Weiterlesen >>
Professor Katoen leitet den Lehrstuhl für Informatik 2 der RWTH Aachen und forscht zudem in der Gruppe „Formale Methoden und…
Weiterlesen >>