Formal methods in human-computer interaction

Formal methods in human-computer interaction
Details
- OL Work ID
- OL19605050W
Subjects
Formal methods (Computer science)Human-computer interactionWorld Wide WebInterfaces utilisateur (informatique)Mensch-Maschine-KommunikationInteraction homme-ordinateurAlgebraische SpezifikationFormale SpezifikationstechnikBenutzeroberflächeProcessamento grafico (graphics)AufsatzsammlungComputer softwareHuman factors