{"product_id":"integrated-formal-methods-20th-international-conference-ifm-2025-paris-france-november-19-21-2025-proceedings-9783032107930","title":"Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings","description":"\u003cp\u003e • Author(s): Ferruccio Damiani | Marie Farrell\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 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19-21, 2025.\u003c\/p\u003e \u003cp\u003eThe 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e","brand":"Atlantic Books","offers":[{"title":"Paperback","offer_id":46436966858903,"sku":"9783032107930","price":5284.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783032107930.webp?v=1769133652","url":"https:\/\/atlanticbooks.com\/products\/integrated-formal-methods-20th-international-conference-ifm-2025-paris-france-november-19-21-2025-proceedings-9783032107930","provider":"Atlantic Books","version":"1.0","type":"link"}