"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-47166-2","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I","Tiziana Margaria; Bernhard Steffen",2016,"1","https://doi.org/10.1007/978-3-319-47166-2",162,""