{"product_id":"software-engineering-and-formal-methods-20th-international-conference-sefm-2022-berlin-germany-september-2630-2022-proceedings-9783031171079","title":"Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings","description":"\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThis book presents the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods,SEFM 2022, which includes 19 full and 3 short papers on various topics in software engineering and formal methods. The papers were reviewed and selected from 62 submissions. \u003c\/blockquote\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 369 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 21 September 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022, is the subject of this comprehensive book. It includes a selection of 19 full and 3 short papers, carefully reviewed and chosen from a total of 62 submissions. The papers were organized into topical sections, covering various areas of software engineering and formal methods. These sections include software verification, program analysis, verifier technology, formal methods for intelligent and learning systems, specification and contracts, program synthesis, temporal logic, and runtime methods.\u003cbr\u003e\u003cbr\u003eThe conference aimed to bring together researchers, practitioners, and experts from around the world to discuss the latest advancements and challenges in software engineering and formal methods. The papers presented at SEFM 2022 covered a wide range of topics, including software verification techniques, program analysis methodologies, verifier technology developments, formal methods for AI and machine learning, specification and contract engineering, program synthesis approaches, temporal logic applications, and runtime methods for improving software performance and reliability.\u003cbr\u003e\u003cbr\u003eThe contributions made by the authors and presenters at SEFM 2022 are invaluable in advancing the field of software engineering and formal methods. The papers presented provide insights into the latest research findings, practical experiences, and innovative solutions to real-world software engineering problems. They offer valuable guidance to researchers, practitioners, and students interested in exploring the latest trends and developments in this field.\u003cbr\u003e\u003cbr\u003eOverall, this book serves as a valuable resource for anyone interested in software engineering and formal methods. It provides a comprehensive overview of the latest research and developments in the field, and it will be of great interest to researchers, practitioners, and students alike.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 593g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031171079\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2022\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":44272378118394,"sku":"9783031171079","price":46.96,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_41d3471f-401f-4f6b-bcf1-4aa9c38e1b1a.jpg?v=1686252775","url":"https:\/\/shulphink.com\/products\/software-engineering-and-formal-methods-20th-international-conference-sefm-2022-berlin-germany-september-2630-2022-proceedings-9783031171079","provider":"Shulph Ink","version":"1.0","type":"link"}