{"product_id":"9783031274817","title":"Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings","description":"This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT\/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. \u003cbr\u003e","brand":"Springer-Verlag New York, LLC","offers":[{"title":"Default Title","offer_id":46554153844977,"sku":"9783031274817","price":99.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0674\/5433\/7265\/files\/9783031274817_p0.jpg?v=1765561489","url":"https:\/\/shop.barnesandnoble.com\/products\/9783031274817","provider":"Barnes \u0026 Noble","version":"1.0","type":"link"}