Évelyne Contejean : Éviter les bugs informatiques
… des garanties fortes. » Ces recherches s’inscrivent dans le projet DataCert , soutenu par l’ANR et qui prend fin en … des garanties fortes. » Ces recherches s’inscrivent dans le projet DataCert , soutenu par l’ANR et qui prend fin en …
Published on: