The Handbook of Formal Methods in Human-Computer Interaction
Publisher: Springer
Published: May 16, 2018
Format: paperback
Number of pages: 575
ISBN-13: 9783319847542
Notes: Source title: The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series)