State of the Art on Formal Methods for Interactive Systems.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 3 - 55
Erscheinungsjahr: 2017
Publikationstyp: Buchbeitrag
Doi/URN: 10.1007/978-3-319-51838-1_1
| Geprüft: | Bibliothek |
Autoren
Oliveira Prates, Raquel (Autor)
A. Palanque, Philippe (Autor)
Bowen, Judy (Autor)
J. Dix, Alan (Autor)
