Rigorous State-Based Methods
Subtitle: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031637896