autores José Francisco Creissac Freitas de Campos Campos, José C. Curzon, Paul Masci, PM Harrison, Michael
palavras-chave Ciências Naturais::Ciências da Computação e da Informação Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Formal methods Interactive systems Usability heuristics