Woche: November 30 | Seminar Formal Methods and Automated Reasoning I (WS 2021/22) | RISC

Abschnittsübersicht

Joachim Borya: The Mathematical Theory of Relational Databases
Ágoston Sütő: LTL Model Checking in RISCAL