"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-030-92124-8","Software Engineering and Formal Methods","19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings","Radu Calinescu; Corina S. Păsăreanu",2021,"1","https://doi.org/10.1007/978-3-030-92124-8",160,""