ISBN 3030775429 books & textbook
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Raschke, Alexander Méry, Dominique
Springer /2021-05-23 Paperback / 180 Pages
isbn-10: 3030775429 / isbn-13: 9783030775421
