Verteidigung der Masterarbeit: "Formally Verifying the Semantics of an Imperative Programming Language"
Lukas Markeffsky
- https://www.informatik.hu-berlin.de/de/events/verteidigung-der-masterarbeit-formally-verifying-the-semantics-of-an-imperative-programming-language
- Verteidigung der Masterarbeit: "Formally Verifying the Semantics of an Imperative Programming Language"
- 2026-09-10T14:00:00+02:00
- 2026-09-10T23:59:59+02:00
- Lukas Markeffsky
- Wann 10.09.2026 ab 14:00 Uhr
- Wo RUD25 3.328
- Name des Kontakts Prof. Dr. Jens-Peter Redlich
-
iCal