Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Ezio Bartocci; Yliès Falcone; Martin Leucker

doi:10.1007/978-3-030-87348-6

Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Ezio Bartocci (Herausgeber*in), Yliès Falcone (Herausgeber*in), Martin Leucker (Herausgeber*in)

Institut für Softwaretechnik und Programmiersprachen

Originalsprache	Englisch

Verlag	Springer
Band	13065
ISBN (Print)	978-3-030-87347-9, 978-3-030-87348-6
DOIs	https://doi.org/10.1007/978-3-030-87348-6
Publikationsstatus	Veröffentlicht - 2021

Publikationsreihe

Name	Lecture Notes in Computer Science

Name	Formal Methods in Outer Space

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

10.1007/978-3-030-87348-6

https://dblp.org/db/conf/birthday/havelund2021.html

Zitieren

@book{ac0d43a88248414e99bcc6a2f3dece30,

title = "Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday",

editor = "Ezio Bartocci and Yli{\`e}s Falcone and Martin Leucker",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2021",

doi = "10.1007/978-3-030-87348-6",

language = "English",

isbn = "978-3-030-87347-9",

volume = "13065",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

}

Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. / Bartocci, Ezio (Herausgeber*in); Falcone, Yliès (Herausgeber*in); Leucker, Martin (Herausgeber*in).
Springer, 2021. (Lecture Notes in Computer Science), (Formal Methods in Outer Space).

Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Anthologien › Begutachtung

TY - BOOK

T1 - Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

A2 - Bartocci, Ezio

A2 - Falcone, Yliès

A2 - Leucker, Martin

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-87348-6

DO - 10.1007/978-3-030-87348-6

M3 - Anthologies

SN - 978-3-030-87347-9

SN - 978-3-030-87348-6

VL - 13065

T3 - Lecture Notes in Computer Science

BT - Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

PB - Springer

ER -