![](/img/cover-not-exists.png)
[IEEE 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2013.09.23-2013.09.26)] 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving
Paganelli, Gabriele, Ahrendt, WolfgangYear:
2013
Language:
english
DOI:
10.1109/synasc.2013.35
File:
PDF, 354 KB
english, 2013