Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni. High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. In Julie A. Jacko, editor, Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I. Volume 5610 of Lecture Notes in Computer Science, pages 667-676, Springer, 2009. [doi]
Abstract is missing.