{"product_id":"integrated-formal-methods-17th-international-conference-ifm-2022-lugano-switzerland-june-7-10-2022-proceedings-9783031077265","title":"Integrated Formal Methods: 17th International Conference, Ifm 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings","description":"\u003cp\u003e • Author(s): Maurice H. Ter Beek\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.\u003c\/p\u003e \u003cp\u003eThe 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283469230231,"sku":"9783031077265","price":5509.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031077265.webp?v=1769305072","url":"https:\/\/atlanticbooks.com\/products\/integrated-formal-methods-17th-international-conference-ifm-2022-lugano-switzerland-june-7-10-2022-proceedings-9783031077265","provider":"Atlantic Books","version":"1.0","type":"link"}