Actions for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Email RIS file
Bookmark
Report an Issue

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Author
Platzer, André
Published
Cham Springer Nature 2025
Physical Description
1 online resource (680 p.)
Additional Creators
Platzer, André, Pradella, Matteo, Pradella, Matteo, Rossi, Matteo, Rossi, Matteo, Rozier, Kristin Yvonne, and Rozier, Kristin Yvonne
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Language Note
English
Restrictions on Access
Open Access Unrestricted online access
Summary
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.
Subject(s)
Other Subject(s)
ISBN
978-3-031-71162-6
9783031711619
9783031711626
Collection
OAPEN Library.
Terms of Use and Reproduction
Creative Commons http://creativecommons.org/licenses/by/4.0/
View MARC record | catkey: 45628043