Habilitation à diriger des recherches


Contributions au développement des méthodes formelles de preuves et applications à la géométrie


Nicolas Magaud
Last modified: Mon Nov 9 10:57:18 CET 2020