Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The Handbook of Formal Methods in Human-Computer Interaction

Part of the Human–Computer Interaction Series Book Series
DOI: 10.1007/978-3-319-51838-1
ISBN: 978-3-319-51837-4
Publisher: Springer International Publishing - Springer Journals
Apr 25, 2017

1 - 10 of 21 Chapters