00851cam a2200193 a 450000500170000000800410001702000150005803500150007305000270008811100850011524502430020026000300044330000110047344000500048465000470053470000270058170000260060870000230063420260818114143.0060912s1997    gw      r     100|0 eng |  a3540635335  a.b1168513x00aQA76.76 D47bI593 19972 aInternational Symposium of Formal Methods Europen(4th :d1997 :cGraz, Austria)10aFME '97 :bindustrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 1997 : proceedings /cJohn Fitzgerald, Cliff B. Jones and Peter Lucas, eds.  aBerlin :bSpringer,c1997  a684 p. 0aLecture notes in computer science ;vno. 1313 0aComputer softwarexDevelopmentvCongresses1 aFitzgerald, John,eed.1 aJones, Cliff B.,eed.1 aLucas, Peter,eed.