@inproceedings{AhrendtPaganelli13,
 author = {Paganelli, Gabriele and Ahrendt, Wolfgang},
 title = {{Verifying (in-)stability in floating-point programs by increasing precision using SMT solvers}},
 booktitle = {Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
 series = {SYNASC '13},
 publisher = {IEEE Computer Society}, 
 year = {2013},
 location = {Timisoara, Romania}
}