Institute of Formal Methods in Computer Science Laboratoire214063

FMIUniversitätsstraße 38 ; 70569 STUTTGARTAllemagnehttp://www.informatik.uni-stuttgart.de/en/organization/institutes/fmi.html

 Universität Stuttgart [Stuttgart] Institution300619

Keplerstraße 7, 70174 StuttgartROR : https://ror.org/04vnq7t77Allemagnehttp://www.uni-stuttgart.de/home/