Richard Butterworth, Ann Blandford. The Role of Formal Proof in Modelling Interactive Behaviour. 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 87-101, Springer, 1998.
Abstract is missing.