Title: Formal methods in human-computer interaction
Subjects: Human-computer interaction, Computers, social aspects, Formal methods (Computer science), Computers, Computer software, Human factors