"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-642-17071-3","Formal Methods for Components and Objects","8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers","Frank S. de Boer; Marcello M. Bonsangue; Stefan Hallerstede; Michael Leuschel",2010,"1","https://doi.org/10.1007/978-3-642-17071-3",100,""