ISBN 9783031331626 books & textbook
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (Lecture Notes in Computer Science)
Glässer, Uwe Creissac Campos, Jose Méry, Dominique Palanque, Philippe
Springer /2023-05-15 Paperback / 396 Pages
isbn-10: 3031331621 / isbn-13: 9783031331626
