Proving Properties of Interactive Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the Second Conference of the British Computer Society, Human Computer Interaction Specialist Group on People and Computers: Designing for Usability
Place of PublicationNew York, NY, USA
PublisherCambridge University Press
Pages402-416
Number of pages15
ISBN (Print)0-521-33259-1
Publication statusPublished - Dec 1986

Cite this