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 (Redacteur), Mieke Massink (Redacteur)

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

Originele taal-2	Engels
Uitgeverij	Springer
ISBN van elektronische versie	978-3-030-67220-1
ISBN van geprinte versie	978-3-030-67219-5
DOI's	https://doi.org/10.1007/978-3-030-67220-1
Status	Gepubliceerd - 2021

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	12524

Naam	Programming and Software Engineering
Volume	12524

Toegang tot document

10.1007/978-3-030-67220-1

Citeer dit

Cleophas, L., & Massink, M. (editors) (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 (Redacteur); Massink, Mieke (Redacteur).
Springer, 2021. (Lecture Notes in Computer Science; Vol. 12524), (Programming and Software Engineering; Vol. 12524).

Onderzoeksoutput: Boek/rapport › Boekredactie › 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 -