Formal methods in computer human interaction: comparison, benefits, open questions.

Fabio Patern, Gregory D. Abowd, Philippe A. Palanque

Browse the full CHI paper archive.