Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Static Analysis of Numerical Programs: Constrained Affine Sets Abstract DomainSymbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses
pastel-00643442v1
|