Mohamed Faouzi Atig

Explorer les défis de vérification et les solutions pour les programmes concurrents dans des modèles de mémoire faible.