Formal methods in human-computer interactionde Philippe PalanqueMateriasFormal methods (Computer science)Human-computer interactionWorld Wide WebInterfaces utilisateur (informatique)Mensch-Maschine-KommunikationInteraction homme-ordinateurAlgebraische SpezifikationFormale SpezifikationstechnikBenutzeroberfläche