2024-07-102024-07-102024-07-100934-5043https://infoscience.epfl.ch/handle/20.500.14299/120034Formal Aspects of Computing