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): Professor John Fitzgerald, 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