Title: Formal methods in human-computer interaction
Subjects: Formal methods (Computer science), Human-computer interaction, World Wide Web, Interfaces utilisateur (informatique), Mensch-Maschine-Kommunikation, Interaction homme-ordinateur, Algebraische Spezifikation, Formale Spezifikationstechnik, Benutzeroberfläche, Processamento grafico (graphics), Aufsatzsammlung, Computer software, Human factors