"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-662-49224-6","Software Engineering and Formal Methods","SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers","Domenico Bianculli; Radu Calinescu; Bernhard Rumpe",2015,"1","https://doi.org/10.1007/978-3-662-49224-6",100,""