Toggle Main Menu Toggle Search

Open Access padlockePrints

MURAL: A Formal Development Support System

Lookup NU author(s): Professor Cliff Jones


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

Publication metadata

Editor(s): Jones CB, Jones KD, Lindsay PA, Moore R

Publication type: Edited Book

Publication status: Published

Series Title:

Year: 1991

Number of Pages: 421

Publisher: Springer-Verlag

Place Published: New York

Notes: The publisher released the copyright back to the authors so we can now make the book available in machine readable form

Library holdings: Search Newcastle University Library for this item

ISBN: 354019651X