"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-030-89159-6","Leveraging Applications of Formal Methods, Verification and Validation","10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings","Tiziana Margaria; Bernhard Steffen",2021,"1","https://doi.org/10.1007/978-3-030-89159-6",140,""