Synthesis of certified compilers

Co-encadrants

• Sylvain Boulmé (Verimag)
• Frédéric Pétrot (TIMA)

Date de soutenance

12/12/2023