Communication Dans Un Congrès
Année : 2010
Ludovic Chamoin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01588764
Soumis le : samedi 16 septembre 2017-23:41:45
Dernière modification le : vendredi 24 mars 2023-14:53:05
Dates et versions
Identifiants
- HAL Id : hal-01588764 , version 1
Citer
Ludovic Chamoin. Vérification de modèle à travers des quantités d'intérêt. Séminaire CMLA, ENS Cachan, Dec 2010, Cachan, France. ⟨hal-01588764⟩
Collections
83
Consultations
0
Téléchargements