ISBN 3031274806 books & textbook
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science)
Chechik, Marsha Katoen, Joost-Pieter Leucker, Martin
Springer /2023-03-03 Paperback / 676 Pages
isbn-10: 3031274806 / isbn-13: 9783031274800
