Anwendung und Vertiefung von Themen der PPS-Vorlesung z. B. in Vorlesungen
u.a. axiomatische Semantik imperativer Programme