Document is current
Any future updates will be listed below
-
Authors
Kulczynski, Mitja https://orcid.org/0000-0003-4650-1110
Lotz, Kevin https://orcid.org/0000-0001-6759-3304
Manea, Florin https://orcid.org/0000-0001-6094-3324
Poulsen, Danny Bøgsted https://orcid.org/0000-0001-9623-0748
Sarnighausen-Cahn, Paul
- License Information
-
More Information
Chapter History
First Online: 29 November 2024
Conference Information
Conference Acronym: SBMF
Conference Name: Brazilian Symposium on Formal Methods
Conference City: Vitória
Conference Country: Brazil
Conference Year: 2024
Conference Start Date: 3 December 2024
Conference End Date: 5 December 2024
Conference ID: sbmf2024
