Nathan Dohm, Carl Ramey, Darren Brown, Scot Hildebrandt, James Huggins, Michael Quinn, Scott A. Taylor. Zen and the art of Alpha verification. In ICCD. pages 111-117, 1998. [doi]
@inproceedings{DohmRBHHQT98,
title = {Zen and the art of Alpha verification},
author = {Nathan Dohm and Carl Ramey and Darren Brown and Scot Hildebrandt and James Huggins and Michael Quinn and Scott A. Taylor},
year = {1998},
doi = {10.1109/ICCD.1998.727031},
url = {http://doi.ieeecomputersociety.org/10.1109/ICCD.1998.727031},
researchr = {https://researchr.org/publication/DohmRBHHQT98},
cites = {0},
citedby = {0},
pages = {111-117},
booktitle = {ICCD},
}