Formal methods in human-computer interaction

No description available.
Formal methods (Computer science)Human-computer interactionWorld Wide WebInterfaces utilisateur (informatique)Mensch-Maschine-KommunikationInteraction homme-ordinateurAlgebraische SpezifikationFormale SpezifikationstechnikBenutzeroberflächeProcessamento grafico (graphics)AufsatzsammlungComputer software