DaftarIsitemplate

Call Number

004 Woo f

Title

FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993

Author

Woodcock, J.C.P.;

Publisher

Berlin:Springer-Verlag;1993

Subject

Industrial-Strength; Formal methods

Location

FASILKOM-UI;