Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Philippe Palanque
,
Fabio Paterno
Details
OL Work ID
OL27455694W
Find this book
Open Library