
GIVE THE PERFECT GIFT
Erin Mills Town Centre Gift Cards are the perfect choice for your gift giving needs.Purchase gift cards at kiosks near the food court or centre court, at Guest Services, or click below to purchase online.PURCHASE HEREHome
Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, Proceedings
Indigo
Loading Inventory...
Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, Proceedings
By None
Current price: $117.99
Original price: $147.45


By None
Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, Proceedings
Current price: $117.99
Original price: $147.45
Loading Inventory...
Size: Kobo eBook
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Indigo
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.
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.



















