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.
@inproceedings{ButterworthB98,
title = {The Role of Formal Proof in Modelling Interactive Behaviour},
author = {Richard Butterworth and Ann Blandford},
year = {1998},
tags = {object-role modeling},
researchr = {https://researchr.org/publication/ButterworthB98},
cites = {0},
citedby = {0},
pages = {87-101},
booktitle = {Design, Specification and Verification of Interactive Systems 98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom},
editor = {Panos Markopoulos and Peter Johnson},
volume = {1},
publisher = {Springer},
isbn = {3-211-83212-2},
}