Chapitre D'ouvrage
Année : 2017
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03131883
Soumis le : jeudi 4 février 2021-16:53:11
Dernière modification le : mercredi 4 décembre 2024-03:15:52
Dates et versions
Identifiants
- HAL Id : hal-03131883 , version 1
Citer
Benjamin Weyers, Michael Harrison, Judy Bowen, Alan Dix, Philippe Palanque. Case Studies. Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.89--121, 2017, 978-3319518374. ⟨hal-03131883⟩
Collections
55
Consultations
0
Téléchargements