Le 06/02/2015 à 9:49  

AdaCore et l’Inria lancent le laboratoire commun ProofInUse

C’est à l’occasion d’une journée technique organisée le 2 février dernier à Paris que l’éditeur franco-américain AdaCore, spécialisé dans les solutions…