Tobias Nipkow

Registered user since Fri 29 May 2015

Name:Tobias Nipkow
Country:Germany
Affiliation:Technical University Munich

Contributions

CPP 2018 Committee Member in Program Committee within the CPP 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile