@entry{del-gou-put-sou-tek-ved-09-aa-fluct, author = {D Delmas and E Goubault and S Putot and J Souyris...}, title = {Towards an industrial use of FLUCTUAT on safety-critical avionics software}, journal = {... Workshop on Formal ...,}, volume = {}, number = {}, pages = {}, year = 2009, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-04570-7_6}}}, quotes = {... in real numbers based on generalized affine arithmetic. In: Riis Nielson, H., Fil{\'e}, G. (eds.) ... Perturbed affine arithmetic for invariant computation in numerical program analysis. CoRR, abs/...} }