Write a Blog >>
Bernd Finkbeiner

Registered user since Sat 26 Dec 2020

Name: Bernd Finkbeiner

Country: Germany

Affiliation: Saarland University

Contributions

VMCAI 2020 How to Win First-Order Safety Games
Show activities from other conferences

POPL 2020-profile
View general profile