Preface

Loek Cleophas, Mieke Massink

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
EditorsLoek Cleophas, Mieke Massink
PublisherSpringer
Pagesv-vi
ISBN (Electronic)978-3-030-67220-1
ISBN (Print)978-3-030-67219-5
Publication statusPublished - 2021
Event2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020 - Amsterdam, Netherlands
Duration: 14 Sep 202015 Sep 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume12524
ISSN (Print)0302-9743

Conference

Conference2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020
CountryNetherlands
CityAmsterdam
Period14/09/2015/09/20

Cite this