FM 2015: Formal Methods

Discover the cutting-edge research presented in FM 2015: Formal Methods by Nikolaj Bjørner, published by Springer International Publishing AG. This comprehensive volume, released in 2015, features the refereed proceedings from the 20th International Symposium on Formal Methods held in Oslo, Norway. Spanning an impressive 610 pages, the book includes 30 full papers and 2 short papers, all meticulously reviewed and selected from a competitive pool of 124 submissions.

FM 2015 is an essential resource for researchers and practitioners in the field of formal methods, offering insights into the latest advancements and methodologies. Enhance your understanding of this critical area of study with this authoritative collection of scholarly work.