Toggle Main Menu Toggle Search

Open Access padlockePrints

Formally verifying interactive systems: a review

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): Harrison, M.D., Torres , J.C.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop

Year of Conference: 1997

Pages: 109-124

Publisher: Springer

Library holdings: Search Newcastle University Library for this item

ISBN: 9783211830550


Share