Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal analysis of interactive systems: opportunities and weaknesses

Lookup NU author(s): Professor Michael HarrisonORCiD


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, Campos JC, Loer K

Editor(s): Cairns, P., Cox, A.L.

Publication type: Book Chapter

Publication status: Published

Book Title: Research Methods for Human-Computer Interaction

Year: 2008

Pages: 88-111

Edition: 1st

Publisher: Cambridge University Press

Place Published: Cambridge, UK

Library holdings: Search Newcastle University Library for this item

ISBN: 9780521870122