High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.

Philippe A. Palanque, Jean-Franois Ladry, David Navarre, Eric Barboni

Browse the full HCI paper archive.