Formale Entwicklung korrekter Software - Spezifikation

 Formale Entwicklung korrekter Software - Spezifikation

 Dozent:  PD Dr. B. Elbl
 Übungsleiter:  PD Dr. B. Elbl
 Material:  download