Document is current
Any future updates will be listed below
-
Authors
Ballenghien, Benoît https://orcid.org/0009-0000-4941-187X
Wolff, Burkhart https://orcid.org/0000-0002-9648-7663
- 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/
