© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Improving test coverage of Lapack
David Barnes and Tim Hopkins
AAECC, 18(3):182-196, May 2007.Bibtex Record
@article{2556,
author = {David Barnes and Tim Hopkins},
title = {Improving Test Coverage of {Lapack}},
month = {May},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2556},
publication_type = {article},
submission_id = {15120_1182431567},
ISSN = {0938-1279},
journal = {AAECC},
volume = {18},
number = {3},
publisher = {Springer-Verlag},
}