Denis Stocker
Fakultät 07
Raum: R 0.014
Adresse: 80335 München, Lothstraße 64
T +49 89 1265-3761
F +49 89 1265-3780
Details
- Fach- und Aufgabenbereiche
-
Generierung von Invarianten von C/C++ Programmen im Projekt R3
Funktion- Technischer Mitarbeiter