Logo der Universität Wien

Invited keynote at the 44th International Colloquium on Automata, Languages, and Programming (ICALP):

Monika Henzinger gave a keynote on "Efficient algorithms for graph-related problems in computer-aided verification" at ICALP 2017.

Universität Wien | Universitätsring 1 | 1010 Wien | T +43-1-4277-0