Integrating formal approaches in Human-Computer Interaction methods and tools: an experience (Workshop)
Domaines
Informatique [cs]
Origine : Fichiers éditeurs autorisés sur une archive ouverte