Document is current
Any future updates will be listed below
-
Authors
Prelipcean, Dumitru-Bogdan https://orcid.org/0000-0001-5322-126X
Dima, Cătălin https://orcid.org/0000-0001-5981-4533
Varacca, Daniele https://orcid.org/0009-0007-6500-2153
- License Information
-
More Information
Chapter History
First Online: 11 November 2025
Conference Information
Conference Acronym: ICFEM
Conference Name: International Conference on Formal Engineering Methods
Conference City: Hangzhou
Conference Country: China
Conference Year: 2025
Conference Start Date: 10 November 2025
Conference End Date: 13 November 2025
Conference Number: 26
Conference ID: icfem2025
Conference URL: https://icfem2025.github.io/
