Toggle Main Menu Toggle Search

Open Access padlockePrints

The formal specification of interactive systems

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 MD

Publication type: Editorial

Publication status: Published

Journal: Software Engineering Journal

Year: 1996

Volume: 11

Issue: 6

Pages: 322

Print publication date: 22/04/2010

ISSN (print): 1751-8806

Publisher: Institution of Electrical Engineers


DOI: 10.1049/sej.1996.0042