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

Cite this