Formal Methods at the Crossroads. From Panacea to Foundational Support. 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University

Bernhard Aichernig (Editor), Tom Maibaum (Editor)

Research output: Book/ReportAnthology

Original languageEnglish
PublisherSpringer Verlag
ISBN (Print)3-540-20527-6
Publication statusPublished - 2003
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this