Teilnehmer an Übung: Grundlagen der Programmierung : Semantik und Verifikation

• Bossert U.
• Michahelles F.
• Thoems K.
• Gruber E.
• Müller-Heinemann U.
• Mathes C.
• Herrmann C.
• Krebs F.
• Thaler G.
• Sacher D.
• Rauschmayer A.
• Krutisch R.
• Kraus M.