{"product_id":"software-engineering-and-formal-methods-9783030921248","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter ''Configuration Space Exploration for Digital Printing Systems'' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926940053783,"sku":null,"price":9447.07,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030921248.jpg?v=1781599808","url":"https:\/\/payment.letskitaboo.com\/products\/software-engineering-and-formal-methods-9783030921248","provider":"Kitaboo One eStore","version":"1.0","type":"link"}