Searching for authors named "Sylvie Putot" – sorted by Relevance.
-
Static Analysis of Numerical Algorithms
- Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif
- Cited by 4 (2 self) – Add To MetaCart
-
Weakly Relational Domains for Floating-Point Computation Analysis. Presented at NSAD’05
- , Sylvie Putot CEA Saclay, F91191 Gif-sur-Yvette Cedex, France {eric.goubault,sylvie.putot}@(email omitted); We
- Cited by 2 (2 self) – Add To MetaCart

