{"product_id":"tests-and-proofs-9783031098277","title":"Tests and Proofs","description":"\u003cp\u003eThis book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022. The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52933862129943,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031098277.jpg?v=1781613590","url":"https:\/\/payment.letskitaboo.com\/te\/products\/tests-and-proofs-9783031098277","provider":"Kitaboo One eStore","version":"1.0","type":"link"}