Proving the Correctness of Digital Hardware Designs

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/Barrow83, title={Proving the Correctness of Digital Hardware Designs}, pages={17-21}, year={1983}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai83.html#Barrow83}, author={Harry G. Barrow} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Proving_the_Correctness_of_Digital_Hardware_Designs"
Personal tools