Communication Dans Un Congrès
Année : 2007
Delphine Longuet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01760572
Soumis le : vendredi 6 avril 2018-14:44:43
Dernière modification le : mardi 5 mars 2024-18:16:42
Dates et versions
Identifiants
- HAL Id : hal-01760572 , version 1
Citer
Delphine Longuet, Marc Aiguier. Specification-Based Testing for CoCasl's Modal Specifications. International Conference on Algebra and Coalgebra in Computer Science, Aug 2007, Bergen, Norway. ⟨hal-01760572⟩
13
Consultations
0
Téléchargements