ePrints

FM 2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005

Lookup NU author(s): Professor John Fitzgerald

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 J, Hayes IJ, Tarlecki A

Publication type: Edited Book

Publication status: Published

Series Title: Lecture Notes in Computer Science

Year: 2005

Volume: 3582

Number of Pages: 558

Publisher: Springer-Verlag

Place Published: Berlin; New York

Library holdings: Search Newcastle University Library for this item

ISBN: 9783540278825

Share