Book to be published by Cambridge University Press
The following paper was accepted to QAPL 2012: A non-local method for robustness analysis of floating point programs by Ivan Gazeau, Dale Miller, and Catuscia Palamidessi. Draft dated 3 Feb 2012 (HAL).
© 2012 INRIA
Made with by Graphene Themes.