- 1
- 1
Jean Goubault-Larrecq
2
Documents
Publications
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
A generalization of p-boxes to affine arithmeticComputing, 2012, 94 (2-4), pp.189-201. ⟨10.1007/s00607-011-0182-8⟩
Article dans une revue
hal-02632998v1
|
|
Static Analysis of Programs with Imprecise Probabilistic InputsVSTTE, May 2013, Snowbird, Utah, United States. pp.22-47, ⟨10.1007/978-3-642-54108-7⟩
Communication dans un congrès
hal-00942126v1
|