Max-Planck-Institut für Softwaresysteme
Aus International Center for Computational Logic

- Forschungseinrichtung
- Saarbrücken
- https://www.mpi-sws.org/
Kooperationspartner der Forschungsgruppe(n)
Kooperationspartner der Forschungsgruppe(n)