Rigorous State-Based Methods
Subtitle: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9783031331626