"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-642-41071-0","Formal Methods: Foundations and Applications","16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings","Juliano Iyoda; Leonardo de Moura",2013,"1","https://doi.org/10.1007/978-3-642-41071-0",90,""