Communication Dans Un Congrès
Année : 2005
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01416658
Soumis le : mercredi 14 décembre 2016-16:52:49
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01416658 , version 1
Citer
Renaud Rioboo. Concrete Mathematics with the FoCaL Environment. Formal Methods 2005, Calculemus Workshop (FMC2005), 2005, Newcastle, United Kingdom. ⟨hal-01416658⟩
Collections
57
Consultations
0
Téléchargements