Toggle Main Menu Toggle Search

Open Access padlockePrints

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997

Lookup NU author(s): Professor John Fitzgerald, Professor Cliff JonesORCiD


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

Publication metadata

Editor(s): Fitzgerald JS, Jones CB, Lucas P

Publication type: Edited Book

Publication status: Published

Series Title: Lecture Notes in Computer Science

Year: 1997

Volume: 1313

Number of Pages: 377

Publisher: Springer-Verlag

Place Published: Berlin


DOI: 10.1007/3-540-63533-5

Library holdings: Search Newcastle University Library for this item

ISBN: 3540635335