FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

Bibliographic Information

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

(Lecture notes in computer science, 1708, 1709)

Springer, c1999

  • v. 1
  • v. 2

Search this Book/Journal
Note

Includes bibliographical references and index

"FM '99, the First World Congress on Formal Methods in the Development of Computing Systems" -- Pref

Related Books: 1-1 of 1
Details
Page Top