Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March ... (Lecture Notes in Computer Science)

by: england International Symposium of Formal Methods Europe 1996 Oxford · M. C. Gaudel · Jim Woodcock

Hardcover

ISBN: 978-0-387-60973-7

ISBN-10: 0-387-60973-3

Springer Verlag · 1996