Brechelmacher, Otto https://orcid.org/0009-0004-5433-5292
Ničković, Dejan https://orcid.org/0000-0001-5468-0396
Nießen, Tobias https://orcid.org/0000-0002-7712-0006
Sallinger, Sarah https://orcid.org/0000-0002-6828-659X
Weissenbacher, Georg https://orcid.org/0000-0002-0143-632X
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/