ML Anthology

Proving the Correctness of Digital Hardware Designs

Harry G. Barrow
AAAI 1983 pp. 17-21
/aaai/1983/barrow1983aaai-proving/
PDF AAAI Semantic Scholar

Cite

Text

Barrow. "Proving the Correctness of Digital Hardware Designs." AAAI Conference on Artificial Intelligence, 1983.

Markdown

[Barrow. "Proving the Correctness of Digital Hardware Designs." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/barrow1983aaai-proving/)

BibTeX

@inproceedings{barrow1983aaai-proving,
  title     = {{Proving the Correctness of Digital Hardware Designs}},
  author    = {Barrow, Harry G.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {17-21},
  url       = {https://mlanthology.org/aaai/1983/barrow1983aaai-proving/}
}