00830cam a2200193 a 450000500170000000800410001702000150005803500150007305000270008811100880011524502200020326000300042330000110045344000490046465000470051370000280056070000220058870000260061020260818114143.0060912s1994    us      r     100|0 eng |  a3540585559  a.b1145565200aQA76.76 D47bI593 19942 aInternational Symposium of Formal Methods Europen(2nd :d1994 :cBarcelona, Spain)10aFME '94 :bindustrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /cMaurice Naftalin, Tim Denvir and Miquel Bertran, eds.  aBerlin :bSpringer,c1994  a723 p. 0aLecture notes in computer science ;vno. 873 0aComputer softwarexDevelopmentvCongresses1 aNaftalin, Maurice,eed.1 aDenvir, Tim,eed.1 aBertran, Miquel,eed.