ProofInUse

RSS M'abonner au flux RSS
1 article(s) correspondant(s)
Il y a 9 années
"ProofInUse : kickoff meeting"
Publié sur Inria, le 02/02/2015
Recherche & Développement
Tags : AdaCore, application critique, filière, industrie, informatique, Inria, LabCom, laboratoire, langage, mathématiques appliquées, preuve, programmation, ProofInUse, recherche-industrie, Spark, valorisation de la recherche, vérification
Article indisponible ?