Vinh D. Thai, Tho T. Quan, Tien V. Le, Binh T. Ngo. An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs. In 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27 - March 1, 2012. pages 1-4, IEEE, 2012. [doi]
@inproceedings{ThaiQLN12,
title = {An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs},
author = {Vinh D. Thai and Tho T. Quan and Tien V. Le and Binh T. Ngo},
year = {2012},
doi = {10.1109/rivf.2012.6169864},
url = {http://dx.doi.org/10.1109/rivf.2012.6169864},
researchr = {https://researchr.org/publication/ThaiQLN12},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27 - March 1, 2012},
publisher = {IEEE},
isbn = {978-1-4673-0307-1},
}