![]() |
| * | 2009 | |
|---|---|---|
| 1 | EE | Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine: HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. CAV 2009: 620-626 |
| 1 | Olivier Bouissou | [1] |
| 2 | Eric Goubault | [1] |
| 3 | Sylvie Putot | [1] |
| 4 | Franck Védrine | [1] |