Publiés par Minh-Thang Khuu Minh-Thang est ingénier méthode formelle chez Systerel. RSS feed (en) Flux RSS (fr) 2025-12-19 10:10Modélisation et Preuve B pour la détection de fuite mémoire
