External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Role of Formal Proof in Modelling Interactive Behaviour

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.

Authors

Richard Butterworth

This author has not been identified. Look up 'Richard Butterworth' in Google

Ann Blandford

This author has not been identified. Look up 'Ann Blandford' in Google
runs on