Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Patrizia Scandurra editor Elvinia Riccobene editor Silvia Bonfanti editor Angelo Gargantini editor Michael Leuschel editor
Format:Paperback
Publisher:Springer International Publishing AG
Published:21st Jun '24
Should be back in stock very soon
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.
The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
ISBN: 9783031637896
Dimensions: unknown
Weight: unknown
398 pages
2024 ed.