Document is current
Any future updates will be listed below
-
Authors
Valentini, Simone http://orcid.org/0009-0005-5956-3945
Braghin, Chiara http://orcid.org/0000-0002-9756-4675
Riccobene, Elvinia http://orcid.org/0000-0002-1400-1026
- License Information
-
More Information
Chapter History
First Online: 21 June 2024
Competing Interests
: The author(s) has no competing interests to declare that are relevant to the content of this manuscript.
Conference Information
Conference Acronym: ABZ
Conference Name: International Conference on Rigorous State-Based Methods
Conference City: Bergamo
Conference Country: Italy
Conference Year: 2024
Conference Start Date: 25 June 2024
Conference End Date: 28 June 2024
Conference Number: 10
Conference ID: abz2024
Conference URL: https://abz-conf.org/site/2024/
