Slicing ? Documentation technique - Frama-C

Test de logiciel le test est la méthode de vérification la plus ... 1L'utilisation de micro-code permet de plus de corriger certaines ...

centre de recherches oceanographiques - Horizon IRD