Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones. A framework for superscalar microprocessor correctness statements. STTT, 4(3):298-312, 2003. [doi]
@article{AagaardCDJ03,
title = {A framework for superscalar microprocessor correctness statements},
author = {Mark Aagaard and Byron Cook and Nancy A. Day and Robert B. Jones},
year = {2003},
doi = {10.1007/s10009-002-0087-0},
url = {http://dx.doi.org/10.1007/s10009-002-0087-0},
researchr = {https://researchr.org/publication/AagaardCDJ03},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {4},
number = {3},
pages = {298-312},
}