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 International Symposium of Formal Methods Europe 1996 : Oxford, Eng.) creator Gaudel, Marie-Claude ed. Woodcock, James ed. text conference publication gw Berlin Springer 1996 monographic eng 701 p. Marie-Claude Gaudel and James Woodcock, eds. Computer software Development Congresses QA76.76 D47 I593 1996 3540609733 060912 20260818114143.0