This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lubeck, 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.
€115.04
购买此电子书可免费获赠一本！
语言 英语 ● 格式 EPUB ● ISBN 9783031274817 ● 编辑 Marsha Chechik & Joost-Pieter Katoen ● 出版者 Springer International Publishing ● 发布时间 2023 ● 下载 3 时 ● 货币 EUR ● ID 8871259 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
3,692 此类电子书
