Formal methods in computer human interaction: comparison, benefits, open questions
Authors:
Fabio Paternó;Gregory Abowd;Philippe Palanque
Affiliations:
CNUCE - C.N.R., Via S.Maria 36, 56126 Pisa, Italy;GVU Center & Col. of Computing,m Georgia Tech, 801 Atlantic Drive, Atlanta, GA;Université Toulouse I, Place Anatole France, 31042 Toulouse, France
Venue:
Conference Companion on Human Factors in Computing Systems