Xavier Leroy

Collège de France

Science du logiciel

Année 2022-2023

Structures de données persistantes

Séminaire - Jean-Christophe Filliatre : Structures de données semi-persistantes