Interactive Systems. Design, Specification, and Verification

nork Graham, T. C. Nicholas, Palanque, Philippe
Argitaratua 2020

Task Models and Diagrams for User Interface Design

nork Winckler, Marco, Johnson, Hilary, Palanque, Philippe
Argitaratua 2020

The Handbook of Formal Methods in Human-Computer Interaction

nork Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
Argitaratua 2020

Human-Computer Interaction - INTERACT 2007

nork Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone Diniz Junqueira
Argitaratua 2020

Human-Computer Interaction - INTERACT 2007

nork Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone D. Junqueira
Argitaratua 2020