Étiquette : proofinuse
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…
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…