logo-inriaMédiation scientifique en Sciences du Numérique

Qui a dit bug ?

Les programmeurs peuvent commettre des erreurs mais il existe des méthodes scientifiques pour prouver qu’il n’y aura pas de bug (preuve de programme).