Software Engineering and Formal Methods

Discover the cutting-edge insights in "Software Engineering and Formal Methods," authored by Alessandro Cimatti and published by Springer International Publishing AG in 2017. This comprehensive volume encapsulates the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), held in Trento, Italy. With a substantial page count of 410, this edition features 17 meticulously selected full papers and 6 concise papers, representing the forefront of research in the field. Each submission underwent thorough review, ensuring that only the most innovative and relevant contributions are included. Perfect for academicians and professionals alike, this book is a must-have resource for anyone looking to stay informed about the latest advancements and methodologies in software engineering and formal methods.