Philippe A. Palanque, Rémi Bastide, V. Sengès. Validating interactive system design through the verification of formal task and system models. In Leonard J. Bass, Claus Unger, editors, Engineering for Human-Computer Interaction, Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction, Yellowstone Park, USA, August 1995. Volume 45 of IFIP Conference Proceedings, pages 189-212, Chapman & Hall, 1995.
Abstract is missing.