SPLASH 2022
Mon 14 - Sat 19 November 2022 Auckland, New Zealand
Robbert Krebbers

Registered user since Thu 16 Jun 2016

Name:Robbert Krebbers
Country:Netherlands
Affiliation:Radboud University Nijmegen
Research interests:Semantics, Separation logic, Theorem proving, Coq

Contributions

SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
Show activities from other conferences

Using general profile