Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Synopsis
About this book
- Language:English
- ISBN:9783031274817
- Release date:Mar 3, 2023
- Publisher:Springer International Publishing
- Imprint:Springer
- File format:EPUB3
- File size:76.04 MB
- Download options:EPUB3 (Adobe DRM)
In this series
Tools and Algorithms for the Construction and Analysis of Systems
Marsha Chechik,Jean-François Raskin
