
cover from: Google Books
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.
1996
185698
isbn:3540609733|isbn:9783540609735