FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings

Bibliographic Information

FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings

J.C.P. Woodcock, P.G. Larsen (eds.)

(Lecture notes in computer science, 670)

Springer-Verlag, c1993

  • : us
  • : gw

Other Title

FME '93

Available at  / 51 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top