Rigorous State-based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

• Author(s): Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra,
• Publisher: Springer Nature
• Pages: 398
• ISBN_10: 3031637909
  ISBN_13: 9783031637902
  
• Language: en

Description:... 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.