• Sign in
  • Sign up
conf.researchr.org / Maxime Dénès
  • POPL 2020 profile
  • POPL 2023 profile

Not registered as user yet

Name:Maxime Dénès
Affiliation:Inria

Contributions

CoqPL 2023 Speaker of Session with the Coq Development Team within the CoqPL 2023-track
CoqPL 2020 Author of Session with the Coq Development Team within the CoqPL-track
Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track

Share
xWed 31 May 12:55
using conf.researchr.org (v1.60.0)
Support page
Sign Up