Formal Methods and Software Engineering

Discover the latest advancements in software engineering with Formal Methods and Software Engineering, edited by leading experts and published by Springer Nature Switzerland AG. This comprehensive volume, part of the prestigious LNCS series (Volume 15394), features the refereed proceedings from the 25th International Conference on Formal Engineering Methods (ICFEM 2024), held in Hiroshima, Japan, in December 2024.

Inside, you will find 22 meticulously reviewed full papers, selected from a competitive pool of 50 submissions, showcasing cutting-edge research and methodologies in formal engineering. Spanning over 410 pages, this paperback edition is an essential resource for researchers, practitioners, and students eager to deepen their understanding of formal methods in software development.

Stay ahead in the rapidly evolving field of software engineering with insights and findings presented in this authoritative collection. Order your copy today at Bookshop!