Gå direkte til innholdet
Formal Methods
Spar

Formal Methods

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.
Undertittel
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Opplag
1st ed. 2023
ISBN
9783031274800
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
3.3.2023
Antall sider
659