
Registered user since Fri 19 Dec 2014
Name: Johannes Hölzl
Country: Netherlands
Affiliation: Vrije Universiteit Amsterdam
Personal website: https://www.cs.vu.nl/~jhl890/
Research interests: Formal Methods, Interactive Theorem Proving
Contributions
CPP 2019 | Committee Member in Program Committee within the CPP 2019-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile