ABELLA Nacira

Docteur - SPI
Date de départ : 01/01/2000
https://lip6.fr/Nacira.Abella

Direction de recherche : Thérèse HARDIN

Formalisation de la Théorie de la Réécriture dans le Système Coq

Soutenance : 17/12/1999

Date de départ : 01/01/2000

Publications 1999