FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings - International Symposium of Formal Methods Europe; Naftalin, Maurice; Denvir, Tim; Bertran, Miquel (Lecture notes in computer science, 1994)