FM 2016: Formal Methods

Discover the cutting-edge insights in FM 2016: Formal Methods by John Fitzgerald, published by Springer International Publishing AG in 2016. This comprehensive volume features the refereed proceedings of the 21st International Symposium on Formal Methods, held in Limassol, Cyprus. With a total of 789 pages, this first edition showcases 38 full papers and 11 short papers, all meticulously reviewed and selected from an impressive 162 submissions. Additionally, it includes an abstract of an invited talk and a presentation from a distinguished speaker, offering a wealth of knowledge for researchers and practitioners alike. Dive into the world of formal methods and enhance your understanding of this crucial area in computer science.