Altran et AdaCore lancent un outil de vérification statique de code basé sur le langage Spark 2014
Publié le 05-05-2014
par Francois Gauthier
La société d’ingénierie et de conseil en technologies avancées Altran et l’éditeur d’outils logiciels pour applications critiques AdaCore annoncent le lancement de l'environnement de vérification et de développement...
La lecture de cet article est réservé aux abonnés payants du site.
Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :
| Durée | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 6 mois | Comfort | 120 euros HT |
| 1 an | Complet | 200 euros HT |
