Identifiant pérenne de la notice : 248686860
Notice de type
Personne
Application de l'exécution symbolique pour l'aide à la rétro-ingénierie / Jonathan
Salwan ; sous la direction de Marie-Laure Potet et Sébastien Bardin. Thèse de doctorat
: Mathématiques et Informatique : Université Grenoble Alpes : 2020