Formale Spezifikation von Softwaresystemen

In dieser Veranstaltung wird die formale Spezifikationssprache Z behandelt.