Réservé aux abonnés
Le 06/04/2006 à 0:00 par Cédric Lardière

Claudionor C

La société américaine Jasper Design Automation, éditeur d'outils de vérification par la méthode des preuves formelles, vient de nommer Claudionor…