Write a Blog >>
Gert Smolka

Registered user since Mon 24 Apr 2017

Name: Gert Smolka

Affiliation: Saarland University

Personal website: http://www.ps.uni-saarland.de/~smolka/

Contributions

CoqPL 2020 A Coq Library of Undecidable Problems
Show activities from other conferences

POPL 2020-profile
View general profile