"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-540-78917-8","Formal Methods and Testing","An Outcome of the FORTEST Network. Revised Selected Papers","Robert M. Hierons; Jonathan P. Bowen; Mark Harman",2008,"1","https://doi.org/10.1007/978-3-540-78917-8",100,""