Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings 9783031331633, 9783031331626, 303133163X

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ

243 98 54MB

English Pages 386 Year 2023

Report DMCA / Copyright

DOWNLOAD EPUB FILE

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
 9783031331633, 9783031331626, 303133163X

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers