Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
![](https://cdn.statically.io/img/media.springernature.com/w138/springer-static/cover/book/9783031711626.jpg)
Book series
The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research, teaching, and education.
LNCS enjoys close cooperation with the computer science R & D community, the series counts many renowned academics among its volume editors and paper authors, and collaborates with prestigious societies. Its mission is to serve this international community by providing an invaluable service, mainly focused on the publication of conference and workshop proceedings and postproceedings. LNCS commenced publication in 1973.
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Available Renditions
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Available Renditions
10th International Conference, MESAS 2023, Palermo, Italy, October 17–19, 2023, Revised Selected Papers
Available Renditions
21st International Conference, CDVE 2024, Valencia, Spain, September 15–18, 2024, Proceedings
Available Renditions
20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings
Available Renditions