2024-08-202024-08-20https://publica.fraunhofer.de/handle/publica/473877International Conference on Verified Software - Theories, Tools, and Experiments 2023