Chapitre D'ouvrage Année : 2017

Dates et versions

hal-03131883 , version 1 (12-03-2026)

Licence

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⟩
132 Consultations
23 Téléchargements

Partager

  • More