Zur Seite: Seminar Spezifikation und Verifikation