Modellgetriebene Formale Verifikation von verteilten Systemen

Betreuer: Kurstyp: Praktikum