SIDO - OSXP 2021

YB

Yves Bertot

Inria

Directeur de recherche, logiciel Coq

Ses sessions

Retrouvez la liste de toutes les sessions présentées par ce speaker pour ne manquer aucune de ses interventions.
Chargement