Integrated Formal Methods

Explore the cutting-edge research in formal methods with Integrated Formal Methods by Wolfgang Ahrendt. This comprehensive volume presents the refereed proceedings of the 15th International Conference on Integrated Formal Methods (IFM 2019), which took place in Bergen, Norway, in December 2019. Featuring 25 full papers and 3 short papers, this collection showcases the best contributions selected from an impressive 95 submissions, highlighting the latest advancements in the field.

Published by Springer Nature Switzerland AG, this 2019 edition spans 554 pages and is designed for researchers, practitioners, and students alike who are interested in formal methods and their applications. Dive into this essential resource and stay informed about the evolving landscape of integrated formal methods.