{"product_id":"beek-h-maurice-ter-formal-methods-foundations-and-applications-9783032120854","title":"Formal Methods: Foundations and Applications","description":"This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.\n\u003cbr\u003e\nThe 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53810769625430,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/beek-h-maurice-ter-formal-methods-foundations-and-applications-9783032120854","provider":"momoxbooks","version":"1.0","type":"link"}