{"product_id":"formal-methods-foundations-and-applications","title":"Formal Methods: Foundations and Applications","description":"This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November\/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.","brand":"EMKA","offers":[{"title":"Default Title","offer_id":53391316582731,"sku":"9783319708478","price":84.21,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/emka.si\/products\/formal-methods-foundations-and-applications","provider":"EMKA","version":"1.0","type":"link"}