Communication Dans Un Congrès
Année : 2006
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125234
Soumis le : vendredi 6 mars 2015-11:03:13
Dernière modification le : mardi 9 avril 2024-17:12:46
Dates et versions
Identifiants
- HAL Id : hal-01125234 , version 1
Citer
Catherine Dubois, Jean-Marc Mota. A formally verified geometric modelling core. SERP'06 - Int. Conf. on Software Engineering Research and Practice, Las Vegas, USA,, Jan 2006, X, France. pp.643-649. ⟨hal-01125234⟩
Collections
16
Consultations
0
Téléchargements