Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings ... Notes in Computer Science Book 10610)

Held in Xi'an, China, this volume brings together a wealth of insights from the 19th International Conference on Formal Engineering Methods. With contributions from leading researchers, it explores the latest advancements in formal methods and their application in software engineering.

Readers will find carefully selected, peer-reviewed papers that showcase innovative approaches to enhancing software quality through rigorous methods. The discussions encompass various topics, aiming to bridge the gap between theoretical developments and practical applications in the software development process.

As a compilation of cutting-edge research, this work serves as an invaluable resource for academics, practitioners, and anyone passionate about the evolution of software engineering practices. Through its comprehensive coverage, it aims to inspire further innovation in this dynamic field.