Proving the Correctness of Digital Hardware Designs

Has publishing details pp. 17-21, 1983

Has title Proving the Correctness of Digital Hardware Designs

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai83.html#Barrow83

Has where published AAAI

Has year 1983

Has author Harry G. Barrow +

Has identifier Proving the Correctness of Digital Hardware Designs +

Categories Proceeding Paper +