Thi Minh Tuyen Nguyen

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Thi Minh Tuyen Nguyen, Claude Marché
Hardware-Dependent Proofs of Numerical Programs. CPP (2011)
Sylvie Boldo, Thi Minh Tuyen Nguyen
Proofs of numerical programs when the compiler optimizes. Innov. Syst. Softw. Eng. 7 (2) (2011)
Sylvie Boldo, Thi Minh Tuyen Nguyen
Hardware-independent Proofs of Numerical Programs. NASA Formal Methods (2010)