Formal Methods: 25Th International Symposium, Fm 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes In Computer Science, 14000)
Springer
ISBN13:
9783031274800
$108.02
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
- | Author: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
- | Publisher: Springer
- | Publication Date: Mar 03, 2023
- | Number of Pages: 675 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3031274806
- | ISBN-13: 9783031274800
- Author:
- Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
- Publisher:
- Springer
- Publication Date:
- Mar 03, 2023
- Number of pages:
- 675 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3031274806
- ISBN-13:
- 9783031274800