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]
@inproceedings{NgocO09,
title = {Overflow and Roundoff Error Analysis via Model Checking},
author = {Do Thi Bich Ngoc and Mizuhito Ogawa},
year = {2009},
doi = {10.1109/SEFM.2009.32},
url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.32},
tags = {model checking, meta-model, analysis, Meta-Environment},
researchr = {https://researchr.org/publication/NgocO09},
cites = {0},
citedby = {0},
pages = {105-114},
booktitle = {Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009},
editor = {Dang Van Hung and Padmanabhan Krishnan},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3870-9},
}