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

Abschnittsübersicht

Joachim Borya: Relational Database Theory in RISCAL
Ágoston Sütő: Master Thesis Presentation