Document is current
Any future updates will be listed below
-
Authors
Rath, Jakob https://orcid.org/0000-0003-0346-6749
Eisenhofer, Clemens https://orcid.org/0000-0003-0339-1580
Kaufmann, Daniela https://orcid.org/0000-0002-5645-0292
Bjørner, Nikolaj https://orcid.org/0000-0002-1695-2810
Kovács, Laura https://orcid.org/0000-0002-8299-2714
- License Information
-
More Information
Chapter History
First Online: 3 May 2025
Disclosure of Interests
: The authors have no competing interests to declare that are relevant to the content of this article.
Conference Information
Conference Acronym: VSTTE
Conference Name: International Conference on Verified Software: Theories, Tools, and Experiments
Conference City: Prague
Conference Country: Czech Republic
Conference Year: 2024
Conference Start Date: 14 October 2024
Conference End Date: 15 October 2024
Conference Number: 16
Conference ID: vstte2024
Conference URL: https://www.soundandcomplete.org/vstte2024.html
