// if post type is video, grab the youtube video from the post and grab the poster ?>
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…