000 00750 a2200253 4500
001 61817
020 _a3-540-56662-70
041 _aeng
080 _a681.3.06 Int:1:93
245 _aFME 93 : industrial-strength formal methods : first international symposium of formal methods Europe : proceedings, Odense, Denmark, Apr. 19-23, 1993 / edited by J.C.P. Woodcock and P.G. Larsen
250 _a
260 _aBerlin
260 _bSpringer-Verlag
260 _c1993
300 _axi,689 p.
300 _c23 cm
490 _aLecture notes in computer science ; v.670
100 _aInternational symposium of formal methods Europe (1st : 1993
700 _a
650 _a
650 _aFormal languages-Congresses
942 _cBK
942 _2UDC
999 _c26274
_d26274