{"product_id":"9783031212215-software-verification-and-formal-methods","title":"Software Verification and Formal Methods for ML-Enabled Autonomous Systems","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003e5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings\u003cbr\u003eThis book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July\/August 2022.\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282755957110,"sku":"9783031212215","price":56.05,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36192354_b3586b67-3167-4ba1-ba2c-c739151be942.jpg?v=1758748781","url":"https:\/\/www.rarewaves.com\/products\/9783031212215-software-verification-and-formal-methods","provider":"Rarewaves.com","version":"1.0","type":"link"}