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

Filter your results

1 Résultat
authIdHal_s : antoine-mine
Image document

Weakly Relational Numerical Abstract Domains

Antoine Miné
Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English. ⟨NNT : ⟩
Theses tel-00136630v1