Overflow and Roundoff Error Analysis via Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Do Thi Bich Ngoc, Mizuhito Ogawa. Overflow and Roundoff Error Analysis via Model Checking. In Dang Van Hung, Padmanabhan Krishnan, editors, Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. pages 105-114, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Do Thi Bich Ngoc' in GoogleThis author has not been identified. Look up 'Mizuhito Ogawa' in Google

runs on WebDSL