Maxime Dénès -

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