• Sign in
  • Sign up
conf.researchr.org / Léon Gondelman
  • ECOOP 2015 profile
  • ETAPS 2019 profile
  • POPL 2018 profile
No Photo

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
xSat 24 May 00:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up