Meurig Sage, Chris Johnson. Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. In Panos Markopoulos, Peter Johnson, editors, Design, Specification and Verification of Interactive Systems 98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Volume 1 of pages 134-154, Springer, 1998.
Abstract is missing.