Tien V. Le

According to our database, Tien V. Le authored at least 1 paper in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs.

Vinh D. Thai, Tho T. Quan, Tien V. Le, Binh T. Ngo

Proceedings of the 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27, 2012