ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Robbert Krebbers

Registered user since Thu 16 Jun 2016

Name: Robbert Krebbers

Country: Netherlands

Affiliation: Delft University of Technology

Personal website:

Research interests: Semantics, Separation logic, Theorem proving, Coq


ESOP 2019Author of Semi-Automated Reasoning About Non-Determinism in C Expressions within the ESOP 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile