Software Engineering and Formal Methods

Explore the cutting-edge world of software engineering with Software Engineering and Formal Methods by Radu Calinescu, published by Springer International Publishing AG in 2015. This comprehensive volume gathers the refereed proceedings of the esteemed 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), which took place in York, UK.

With 369 pages of insightful research, this book features 17 full papers, along with 2 invited talks and 6 short papers, all meticulously reviewed and selected from an impressive pool of 96 submissions. It offers a wealth of knowledge for professionals, researchers, and students who are eager to delve into the latest advancements and methodologies in software engineering. Enhance your understanding and stay ahead in this dynamic field with this essential read.