E-bok, Engelska, 2023
Formal Methods
Av Martin Leucker, Joost-Pieter Katoen, Marsha Chechik
1470 kr
Skickas fredag 9/10
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2023-03-02
- Format: E-bok
- Språk: Engelska
- Förlag: Springer International Publishing
- ISBN: 9783031274817
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.