Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Léon Gondelman
conf.researchr.org general profile
ECOOP 2015 profile
ETAPS 2019 profile
POPL 2018 profile
Registered user since Fri 19 Jun 2015
Name:
Léon Gondelman
Affiliation:
LRI, Université Paris-Sud
Personal website:
https://www.lri.fr/~gondelman/
Contributions
2019
ESOP
Author of Semi-Automated Reasoning About Non-Determinism in C Expressions within the ESOP 2019-track
2018
CPP
Author of Finite Sets in Homotopy Type Theory within the CPP 2018-track
2015
FTfJP
Author of Why3 within the FTfJP-track
Share
x
Fri 8 Nov 06:35