ePrints

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): Emeritus Professor John FitzgeraldORCiD, Emeritus Professor Cliff JonesORCiD

Downloads

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

URL: http://dx.doi.org/10.1007/3-540-63533-5

DOI: 10.1007/3-540-63533-5

Library holdings: Search Newcastle University Library for this item

ISBN: 3540635335

Share