@entry{bou-gou-gou-put-10-aa-pbox-slid, author = {O Bouissou and {\'E} Goubault...}, title = {A generalization of P-boxes to affine arithmetic, and applications to static analysis of programs}, journal = {Proceedings of the ...,}, volume = {}, number = {}, pages = {}, year = 2011, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{http://scan2010.ens-lyon.fr/SCAN2010_Bouissou_Goubault_Goubault-Larrecq_Putot.pdf}}}, quotes = {Some inputs being known set theoretically (non-deterministic inputs) or in probability (probabilistic inputs) eg temperature distribution maybe known but we might only know a range for ...} }