Topics of Formal Methods in HCI.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 57 - 64
Erscheinungsjahr: 2017
Publikationstyp: Buchbeitrag
Doi/URN: 10.1007/978-3-319-51838-1_2
| Geprüft: | Bibliothek |
Autoren
Bowen, Judy (Autor)
J. Dix, Alan (Autor)
A. Palanque, Philippe (Autor)
