We Need Non-formal Methods Based on Formal Models in Interaction Design.

Andreas Maier, Steffen Hess

Browse the full Interact paper archive.