Catégorie Communication dans un congrès Auteurs Imen Boudhiba Christophe Gaston Pascale Le Gall Virgile Prévosto https://cea.hal.science/cea-01810693v1 doc ID 1810693 Nom Symbolic execution of transition systems with function summaries Date de publication mar 03/09/2024 - 12:00