Write a Blog >>
Helmut Seidl

Registered user since Sun 15 Jan 2017

Name: Helmut Seidl

Country: Germany

Affiliation: Technische Universität München

Personal website: http://www2.in.tum.de/~seidl/

Contributions

VMCAI 2020Author of How to Win First-Order Safety Games within the VMCAI 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile