Matthieu Martel
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach
ESOP, 2002.
@inproceedings{ESOP-2002-Martel, author = "Matthieu Martel", booktitle = "{Proceedings of the 11th European Symposium on Programming}", doi = "10.1007/3-540-45927-8_14", editor = "Daniel Le Métayer", isbn = "3-540-43363-5", pages = "194--208", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach}", volume = 2305, year = 2002, }