Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos. Proving Hardware Designs. In ICLP. pages 745, 1994.
@inproceedings{BreuerSK94,
title = {Proving Hardware Designs},
author = {Peter T. Breuer and Luis Sánchez and Carlos Delgado Kloos},
year = {1994},
researchr = {https://researchr.org/publication/BreuerSK94},
cites = {0},
citedby = {0},
pages = {745},
booktitle = {ICLP},
}