Document is current
Any future updates will be listed below
-
Authors
Peyras, Quentin https://orcid.org/0009-0007-3150-0226
Gharbi, Ghada https://orcid.org/0009-0008-0871-0767
Baarir, Souheib https://orcid.org/0000-0001-8140-0273
- License Information
-
More Information
Chapter History
First Online: 3 May 2025
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
