Aufzeichnung aus IRH101
Veranstaltung: IN2055: Semantics of Programming Languages - Hoare Logic CompletnessDatum: Do 10.12.2020 Uhrzeit: 14:00 Uhr
Kein Ton? → klick auf rechts unter dem jeweiligen Video
No Sound? → click at the bottom right of the video