"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-1-84882-745-5","Verification of Sequential and Concurrent Programs",,"Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; Ernst-Rüdiger Olderog",2009,"3","https://doi.org/10.1007/978-1-84882-745-5",419,""