Workshop on formal methods in human computer interaction.

Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque

Browse the full EICS paper archive.