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

Powered by Koha