Andreas Maier, Steffen Hess. We Need Non-formal Methods Based on Formal Models in Interaction Design. Achim Ebert; Gerrit C. Veer; Gitta Domik; Nahum D. Gershon; Inga Scheler. 7th Workshop on Human-Computer Interaction and Visualization (HCIV), Aug 2011,
HAL Archives-Ouvertes,
Andreas Maier, Steffen Hess. We Need Non-formal Methods Based on Formal Models in Interaction Design.