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; Tom Maibaum

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 (Herausgeber), Tom Maibaum (Herausgeber)

Institut für Softwaretechnologie (7160)

Publikation: Buch/Bericht/Konferenzband › Buch (Herausgeberwerk)

Originalsprache	englisch
Verlag	Springer Verlag
ISBN (Print)	3-540-20527-6
Publikationsstatus	Veröffentlicht - 2003

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

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

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

Projekte

Formale Methoden

Dieses zitieren