Thèse nationale
Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique
Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique
Université Ibn Khaldoun
Date de soutenance: 29-03-2021
Encadrant
ROZENBERG Grzegorz