Max-Planck-Institut für Softwaresysteme

•   Forschungseinrichtung
•   Saarbrücken
•   https://www.mpi-sws.org/

Kooperationspartner der Forschungsgruppe(n)

• Computational Logic
• Automatentheorie
• Wissensbasierte Systeme
• Verifikation und formale quantitative Analyse