Toggle Main Menu Toggle Search

Open Access padlockePrints

The user context and formal specification in interactive system design

Lookup NU author(s): Professor Michael HarrisonORCiD, Emeritus Professor Pete Wright

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Harrison M, Fields R, Wright PC

Editor(s): Roast, C.R., Siddiqi, J.I.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

Year of Conference: 1996

Pages: 1-12

Publisher: Springer in collaboration with the British Computer Society

URL: http://www.bcs.org/server.php?show=ConWebDoc.4928

Notes: Invited paper. Available online via BCS site.

Series Title: Electronic Workshops in Computing


Share