Un nouvel outil pour vérifier l'équivalence des programmes grâce à l'analyse du flux de contrôle.
― 6 min lire
La science de pointe expliquée simplement
Un nouvel outil pour vérifier l'équivalence des programmes grâce à l'analyse du flux de contrôle.
― 6 min lire