FME'94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 - 28, 1994, proceedings
2nd: 1994: Barcelona, Spain
Berlin
Springer-Verlag
c1994
xi, 723p.: ill., tables
Lecture notes in computer science; 378
Includes bibliographies
ISBN: 3540585559
Maurice Naftalin, Tim Denvir, Miquet Bertran )eds.(