Philippe A. Palanque, Rémi Bastide. Verification of an interactive software by analysis of its formal specification. In Knut Nordby, Per H. Helmersen, David J. Gilmore, Svein A. Arnesen, editors, Human-Computer Interaction, INTERACT 95, IFIP TC13 Interantional Conference on Human-Computer Interaction, 27-29 June 1995, Lillehammer, Norway. IFIP Conference Proceedings, pages 191-196, Chapman & Hall, 1995.
Abstract is missing.