"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-30734-3","Theory and Practice of Formal Methods","Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday","Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen",2016,"1","https://doi.org/10.1007/978-3-319-30734-3",90,""