Communication Dans Un Congrès
Année : 2006
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01351998
Soumis le : vendredi 5 août 2016-10:49:26
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01351998 , version 1
Citer
Thérèse Hardin. Focal: a formally-based IDE and a mathematical framework. School of Science, Beihang University, 2006, Beijing, China. ⟨hal-01351998⟩
Collections
50
Consultations
0
Téléchargements