Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

This collection captures the insights and findings from the 13th International Conference on Software Engineering and Formal Methods held in York, UK. The proceedings showcase a range of contributions from experts in the field, focusing on the latest advancements and methodologies that enhance software engineering practices.

Contributors delve into formal methods, offering innovative techniques and frameworks geared towards improving software reliability and efficiency. Through rigorous peer-reviewed research, the volume serves as a valuable resource for professionals and academics eager to enrich their understanding of software development processes and best practices.