Communication Dans Un Congrès
Année : 2003
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01530419
Soumis le : mercredi 31 mai 2017-16:49:03
Dernière modification le : mardi 9 avril 2024-17:14:32
Dates et versions
Identifiants
- HAL Id : hal-01530419 , version 1
Citer
Catherine Dubois, Jérôme Grandguillot, Mathieu Jaume. Réutilisation de preuves formelles : une étude pour le système Foc. Journées Francophones des Langages Applicatifs, JFLA'03, Jan 2003, Chamrousse, France. pp.63-76. ⟨hal-01530419⟩
Collections
359
Consultations
0
Téléchargements