Communication Dans Un Congrès
Année : 2016
Raquel Oliveira : Connectez-vous pour contacter le contributeur
https://hal.univ-grenoble-alpes.fr/hal-04791037
Soumis le : mardi 19 novembre 2024-14:27:16
Dernière modification le : mercredi 20 novembre 2024-03:32:45
Dates et versions
Identifiants
- HAL Id : hal-04791037 , version 1
Citer
Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary. Using formal models to cross check an implementation. 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16), Feb 2016, New York, United States. ⟨hal-04791037⟩
0
Consultations
0
Téléchargements