00821cam a2200181 a 450000500170000000800410001702000150005803500150007305000270008811100840011524502450019926000300044430000110047444000500048565000470053570000310058270000260061320260818114143.0060912s1996    gw      r     100|0 eng |  a3540609733  a.b1148124900aQA76.76 D47bI593 19962 aInternational Symposium of Formal Methods Europen(3rd :d1996 :cOxford, Eng.)10aFME '96 :bindustrial 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 /cMarie-Claude Gaudel and James Woodcock, eds.  aBerlin :bSpringer,c1996  a701 p. 0aLecture notes in computer science ;vno. 1051 0aComputer softwarexDevelopmentvCongresses1 aGaudel, Marie-Claude,eed.1 aWoodcock, James,eed.