Dozenten: Markus Rentschler Andreas Stuckert Skript zur Vorlesung Software Engineering I VE 13: Logische Basiskonzepte I.
