Document is current
Any future updates will be listed below
-
Authors
Bodeveix, Jean-Paul https://orcid.org/0000-0002-4179-6063
Carle, Thomas https://orcid.org/0000-0002-1411-1030
Fares, Elie https://orcid.org/0000-0002-9277-4024
Filali, Mamoun https://orcid.org/0000-0001-5387-6805
Hoang, Thai Son https://orcid.org/0000-0003-4095-0732
- 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/
