Rigorous State-Based Methods
Author | : Silvia Bonfanti |
Publisher | : Springer Nature |
Total Pages | : 405 |
Release | : 2024 |
ISBN-10 | : 9783031637902 |
ISBN-13 | : 3031637909 |
Rating | : 4/5 (02 Downloads) |
Download or read book Rigorous State-Based Methods written by Silvia Bonfanti and published by Springer Nature. This book was released on 2024 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.