Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Loek Cleophas; Mieke Massink

doi:10.1007/978-3-030-67220-1

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Loek Cleophas (Editor), Mieke Massink (Editor)

Research output: Book/Report › Book editing › Academic › peer-review

Original language	English
Publisher	Springer
ISBN (Electronic)	978-3-030-67220-1
ISBN (Print)	978-3-030-67219-5
DOIs	https://doi.org/10.1007/978-3-030-67220-1
Publication status	Published - 2021

Publication series

Name	Lecture Notes in Computer Science
Volume	12524

Name	Programming and Software Engineering
Volume	12524

Access to Document

10.1007/978-3-030-67220-1

Cite this

Cleophas, L., & Massink, M. (Eds.) (2021). Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. (Lecture Notes in Computer Science; Vol. 12524), (Programming and Software Engineering; Vol. 12524). Springer. https://doi.org/10.1007/978-3-030-67220-1

@book{a96f50ed2e744283a199336ef1bb8887,

title = "Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers",

editor = "Loek Cleophas and Mieke Massink",

year = "2021",

doi = "10.1007/978-3-030-67220-1",

language = "English",

isbn = "978-3-030-67219-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. / Cleophas, Loek (Editor); Massink, Mieke (Editor).
Springer, 2021. (Lecture Notes in Computer Science; Vol. 12524), (Programming and Software Engineering; Vol. 12524).

Research output: Book/Report › Book editing › Academic › peer-review

TY - BOOK

T1 - Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

A2 - Cleophas, Loek

A2 - Massink, Mieke

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-67220-1

DO - 10.1007/978-3-030-67220-1

M3 - Book editing

SN - 978-3-030-67219-5

T3 - Lecture Notes in Computer Science

BT - Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

PB - Springer

ER -