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 : lundi 22 avril 2024-16:23:48
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⟩
15
Consultations
0
Téléchargements