ISBN 3030480763 books & textbook
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings (Theoretical Computer Science and General Issues)
Raschke, Alexander Méry, Dominique Houdek, Frank
Springer /2020-05-15 Paperback / 440 Pages
isbn-10: 3030480763 / isbn-13: 9783030480769
