Lara Bargmann
Department of Computing Science (» Postal address)
Contact
Lara Bargmann
Lectures
Lectures
Winter term 2026 / 2027
2.01.801-B
Forschungsseminar Formale Methoden
Summer term 2026
2.01.490
Seminar: Concurrency Verification
2.01.801-B
Forschungsseminar Formale Methoden