ISBN 9783031637896 books & textbook
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings (Lecture Notes in Computer Science, 14759)
Bonfanti, Silvia Gargantini, Angelo Leuschel, Michael Riccobene, Elvinia Scandurra, Patrizia
Springer /2024-06-21 Paperback / 413 Pages
isbn-10: 3031637895 / isbn-13: 9783031637896