{"product_id":"chen-fang-yu-verification-model-checking-and-abstract-interpretation-9783032156990","title":"Verification, Model Checking, and Abstract Interpretation","description":"This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.\n\u003cbr\u003e\nThe 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53830129123670,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/chen-fang-yu-verification-model-checking-and-abstract-interpretation-9783032156990","provider":"momoxbooks","version":"1.0","type":"link"}