Telecharger Cours

Étendre la spécification de programmes C concurrents et les vérifier ...

Résumé. La vérification de programmes est un enjeu clé pour les applications critiques telles que l'aviation, l'aérospa- tiale, ou les syst`emes embarqués.



Download