{"product_id":"9783031077265","title":"Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings by Maurice H. ter Beek","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. The papers are categorized into the following topical sub-headings: ?Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.\u003cbr\u003eBinding: Paperback \/ softback","brand":"Gardners","offers":[{"title":"Default Title","offer_id":56310853337461,"sku":"9783031077265","price":64.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0612\/7193\/3106\/files\/9783031077265.jpg?v=1762815279","url":"https:\/\/backstory.london\/products\/9783031077265","provider":"Backstory","version":"1.0","type":"link"}