Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994: Proc (Lecture Notes in Computer Science, 873)

Industrial

by: spai International Symposium of Formal Methods Europe 1994 Barcelona · Tim Denvir · Maurice Naftalin

Paperback

details (USA).

ISBN: 978-0-387-58555-0

ISBN-10: 0-387-58555-9

Springer Verlag · 1994