Palanque Philippe

Formal Methods In Human-Computer Interaction

Human-Computer Interaction - Interact 2007: 11th Ifip Tc 13 International Conference, Rio De Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I

Human-Computer Interaction - Interact 2007: 11th Ifip Tc 13 International Conference, Rio De Janeiro, Brazil, September 10-14, 2007, Proceedings, Part 2