Communication Dans Un Congrès
Année : 2025
Delphine Demange : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04851724
Soumis le : vendredi 20 décembre 2024-15:23:47
Dernière modification le : samedi 21 décembre 2024-03:29:05
Dates et versions
Identifiants
- HAL Id : hal-04851724 , version 1
Citer
Roméo La Spina, Delphine Demange, Sandrine Blazy. Formal Verification of WTO-based Dataflow Solvers. 34th European Symposium on Programming, May 2025, Hamilton, Canada. ⟨hal-04851724⟩
Collections
0
Consultations
0
Téléchargements