"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-25803-9","Verified Software. Theories, Tools and Experiments.","14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers","Akash Lal; Stefano Tonetta",2023,"1","https://doi.org/10.1007/978-3-031-25803-9",90,""