Software Engineering and Formal Methods

Explore the forefront of software development with Software Engineering and Formal Methods by Frank de Boer. This essential volume presents the refereed proceedings from the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), held in Amsterdam, The Netherlands, in September 2020. With a comprehensive collection of 16 meticulously reviewed full papers, along with a keynote talk and its abstract, this book showcases cutting-edge research and innovative practices in the field of software engineering. Published by Springer Nature Switzerland AG, this first edition spans 325 pages and serves as an invaluable resource for researchers, practitioners, and students alike. Dive into the latest advancements and methodologies that are shaping the future of software engineering.