Formale Methoden der Informatik, Universität Duisburg-Essen
Janis Voigtländer
jvoigtlaender
Associate professor at UDE.
@fmidue
University of Duisburg-Essen Duisburg, Germany
Lukas Einhaus
glencoe
Research-Test-Program-Refactor-Repeat
Intelligent Embedded Systems - University Duisburg Essen
