Toggle Main Menu Toggle Search

Open Access padlockePrints

Developing a Security-critical System using Formal and Conventional Methods

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen

Downloads

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


Publication metadata

Author(s): Fitzgerald JS, Larsen PG, Brookes T, Green M

Editor(s): Hinchey, MG and Bowen, JP

Series Editor(s): Hoare, CAR

Publication type: Book Chapter

Publication status: Published

Book Title: Applications of Formal Methods

Year: 1995

Pages: 333-356

Series Title: Prentice Hall International Series in Computer Science

Publisher: Prentice Hall

Place Published: London

Notes: Chapter 14.

Library holdings: Search Newcastle University Library for this item

ISBN: 0133669491


Share