@article{12701b0497a84e8cb8702e24f4201df2,
title = "Embedded System Paranoia: a tool for testing embedded system arithmetic",
keywords = "embedded system paranoia, arithmetic implementation, arithmetic quality, Computer science and informatics",
author = "Les Hatton",
year = "2005",
month = jun,
doi = "10.1016/j.infsof.2004.10.005",
language = "English",
volume = "47",
pages = "555--563",
journal = "Information and Software Technology",
issn = "0950-5849",
publisher = "Elsevier B.V.",
number = "8",
}