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.
Edited by:
Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra Imprint: Springer International Publishing AG Country of Publication: Switzerland Edition: 2024 ed. Volume: 14759 Dimensions:
Height: 235mm,
Width: 155mm,
ISBN:9783031637896 ISBN 10: 3031637895 Series:Lecture Notes in Computer Science Pages: 398 Publication Date:21 June 2024 Audience:
Professional and scholarly
,
Undergraduate
Format:Paperback Publisher's Status: Active