Abschnittsübersicht

    • Wednesday, June 22, 17:15, S2 054:
    Jan Holzinger: Demonstration of two Search Algorithms implemented in Dafny