ePrints

The role of verification in interactive systems design

Lookup NU author(s): Professor Michael HarrisonORCiD

Downloads

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

Publication metadata

Author(s): Campos JC, Harrison MD

Editor(s): Markopoulos, P., Johnson, P.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems

Year of Conference: 1998

Pages: 155-170

Publisher: Springer

Library holdings: Search Newcastle University Library for this item

ISBN: 9783211832127

Share