{"product_id":"software-engineering-and-formal-methods-sefm-2024-collocated-workshops-reacts-2024-and-cifma-2024-aveiro-portugal-november-45-2024-revised-selected-papers-9783031947476","title":"Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 291 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 12 August 2025\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031947476\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":47836758278394,"sku":"9783031947476","price":54.13,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1760746399185_book.jpg?v=1760781741","url":"https:\/\/shulphink.com\/products\/software-engineering-and-formal-methods-sefm-2024-collocated-workshops-reacts-2024-and-cifma-2024-aveiro-portugal-november-45-2024-revised-selected-papers-9783031947476","provider":"Shulph Ink","version":"1.0","type":"link"}