FME 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
International symposium of formal methods Europe (1st : 1993
FME 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 - - Berlin Springer-Verlag 1993 - xi,689 p. 23 cm - Lecture notes in computer science ; v.670 .
3-540-56662-70
Formal languages-Congresses
681.3.06 Int:1:93
FME 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 - - Berlin Springer-Verlag 1993 - xi,689 p. 23 cm - Lecture notes in computer science ; v.670 .
3-540-56662-70
Formal languages-Congresses
681.3.06 Int:1:93