Pierre-Evariste Dagand - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Sun 5 Mar 2017

Name:Pierre-Evariste Dagand

Country:France

Affiliation:IRIF / CNRS

Personal website: http://evr.ist

Contributions

2023

PPDP

10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?

Show activities from other conferences

SPLASH 2023-profile
View general profile