{"product_id":"integrated-formal-methods","title":"Integrated Formal Methods","description":"This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.   The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions.","brand":"EMKA","offers":[{"title":"Default Title","offer_id":53391354757451,"sku":"9783031077265","price":99.52,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/emka.si\/products\/integrated-formal-methods","provider":"EMKA","version":"1.0","type":"link"}