Identifiant pérenne de la notice : 250750422
Notice de type
Personne
A combination of abstract interpretation and constraint programming / Ghiles nacer
Ziat ; sous la direction de Antoine Miné et Charlotte Truchet. Thèse de doctorat :
Informatique : Sorbonne université : 2019