Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - THES
ID - DBLP:phd/hal/Goharshady20
AU - Goharshady, Amir Kafshdar
TI - Parameterized and Algebro-geometric Advances in Static Program Analysis. (Progrès paramétriques et algébro-géométriques dans l'analyse statique des programmes).
PY - 2020//
UR - https://tel.archives-ouvertes.fr/tel-03153209
ER -