{"product_id":"bianculli-domenico-software-engineering-and-formal-methods-9783032104434","title":"Software Engineering and Formal Methods","description":"This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.\n\u003cbr\u003e\nThe 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53804420890966,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/bianculli-domenico-software-engineering-and-formal-methods-9783032104434","provider":"momoxbooks","version":"1.0","type":"link"}