-
Interprétation abstraite pour la précision numérique
L'interprétation abstraite est une théorie décrivant comment calculer automatiquement des propriétés sur des programmes. Elle est notamment utilisée pour prouver... -
Worst Cases and Lattice Reduction
Colloque avec actes et comité de lecture. internationale.
