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/ReportAnthologyResearch

LanguageEnglish
PublisherSpringer Verlag
ISBN (Print)3-540-20527-6
StatusPublished - 2003

Cite this

@book{2dfbc736254043a5b849eb992b83c90c,
title = "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",
editor = "Bernhard Aichernig and Tom Maibaum",
note = "Lecture Notes in Computer Science, Vol. 2757",
year = "2003",
language = "English",
isbn = "3-540-20527-6",
publisher = "Springer Verlag",
address = "Germany",

}

TY - BOOK

T1 - 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

A2 - Aichernig, Bernhard

A2 - Maibaum, Tom

N1 - Lecture Notes in Computer Science, Vol. 2757

PY - 2003

Y1 - 2003

M3 - Anthology

SN - 3-540-20527-6

BT - 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

PB - Springer Verlag

ER -