{"product_id":"9783031199912-automated-technology-for-verification-an","title":"Automated Technology for Verification and Analysis","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003e20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings\u003cbr\u003eThis book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022.\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282753827190,"sku":"9783031199912","price":70.08,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36202744_2ae41400-ead5-48a4-b342-879fceb5c47b.jpg?v=1758768335","url":"https:\/\/www.rarewaves.com\/products\/9783031199912-automated-technology-for-verification-an","provider":"Rarewaves.com","version":"1.0","type":"link"}