Book Sections Year : 2017

Dates and versions

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

Licence

Identifiers

  • HAL Id : hal-03131883 , version 1

Cite

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 View
23 Download

Share

  • More