Login / Signup
Tien V. Le
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Program Slicing
Floating Point
Formal Verification
Abstract Interpretation
Top Venues
RIVF
</>
Publications
</>
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.
RIVF
(2012)