Doose, David https://orcid.org/0000-0002-4303-1849
Brunel, Julien https://orcid.org/0009-0004-3639-6681
Chapter History
First Online: 29 November 2024
Conference Information
Conference Acronym: ICFEM
Conference Name: International Conference on Formal Engineering Methods
Conference City: Hiroshima
Conference Country: Japan
Conference Year: 2024
Conference Start Date: 2 December 2024
Conference End Date: 6 December 2024
Conference Number: 25
Conference ID: icfem2024
Conference URL: https://www.icfem2024.info/