By the same authors

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

Research output: Book/ReportBook

Author(s)

  • Jeannette M. Wing (Editor)
  • Jim Woodcock (Editor)
  • Jim Davies (Editor)

Department/unit(s)

Publication details

DatePublished - 1999
PublisherSpringer
Volume1
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations