Description : Groupe thématique regroupant les personnes intéressées par les aspects des sciences du logiciel en lien avec l'optimisation et la vérification de systèmes critiques.