Communication Dans Un Congrès
Année : 2002
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01543982
Soumis le : mercredi 21 juin 2017-11:59:22
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01543982 , version 1
Citer
Stéphane Fechter. An object-oriented model for the certified computer algebra library. Formal Methods for Open Object-Based Distributed Systems (FMOODS) PhD workshop, Mar 2002, University of Twente, Netherlands. ⟨hal-01543982⟩
Collections
34
Consultations
0
Téléchargements