Document is current
Any future updates will be listed below
-
Authors
Farrell, Marie
Luckcuck, Matt
Monahan, Rosemary
Reynolds, Conor
Sheridan, Oisín
- 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/
