conf.researchr.org / Maxime Dénès
Not registered as user yet
Name:Maxime Dénès
Affiliation:Inria
Contributions
| 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 |