"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"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; Mieke Massink",2021,"1","https://doi.org/10.1007/978-3-030-67220-1",100,""