Harry G. Barrow. Proving the Correctness of Digital Hardware Designs. In AAAI. pages 17-21, 1983.
@inproceedings{Barrow83,
title = {Proving the Correctness of Digital Hardware Designs},
author = {Harry G. Barrow},
year = {1983},
researchr = {https://researchr.org/publication/Barrow83},
cites = {0},
citedby = {0},
pages = {17-21},
booktitle = {AAAI},
}