Toggle Main Menu Toggle Search

Open Access padlockePrints

Representational reasoning and verification

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): Doherty G, Campos JC, Harrison MD

Editor(s): Siddiqi, J.I.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the Formal Aspects of the Human Computer Interaction, BCS-FACS Workshop

Year of Conference: 1998

Pages: 193-212

Publisher: SHU Press

Library holdings: Search Newcastle University Library for this item

ISBN: 0863397948