Do Thi Bich Ngoc

Publication Activity (10 Years)

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

Publications

Do Thi Bich Ngoc, Mizuhito Ogawa
Checking roundoff errors using counterexample-guided narrowing. ASE (2010)
Do Thi Bich Ngoc, Mizuhito Ogawa
Overflow and Roundoff Error Analysis via Model Checking. SEFM (2009)