FME '96 : industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, (eds.). - Gaudel, M.-C. (Marie-Claude); Woodcock, J. C. P. (Jim C. P.), 1956- (Lecture notes in computer science ;, 1996)