Lecture offerte
AdaCore et l’Inria lancent le laboratoire commun ProofInUse
Les activités du laboratoire s’articuleront autour du développement d’outils de preuves formelles et de leur déploiement auprès des industriels pour…