Lecture Notes in Computer Science Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, Book 14000, (Paperback)

Lecture Notes in Computer Science Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, Book 14000, (Paperback) Author: Springer ISBN: 9783031274800 Format: Paperback Publication Date: 2023-03-03 Page Count: 659