© University of Kent - Contact | Feedback | Legal | FOI | Cookies
How Accurate is Scientific Software?
L Hatton and A Roberts
IEEE Transactions on Software Engineering, 20(10):182-196, October 1994.Bibtex Record
@article{892,
author = {Hatton, L and Roberts, A},
title = {{How Accurate is Scientific Software?}},
month = {October},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/892},
journal = {IEEE Transactions on Software Engineering},
number = {10},
volume = {20},
}