Search - PASTEL - Thèses en ligne de ParisTech Access content directly

Filter your results

1 Résultat
authIdHal_s : kghorbal
Image document

Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain

Khalil Ghorbal
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses pastel-00643442v1