Proving Hardware Designs

Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos. Proving Hardware Designs. In ICLP. pages 745, 1994.

Authors

Peter T. Breuer

This author has not been identified. It may be one of the following persons: Look up 'Peter T. Breuer' in Google

Luis Sánchez

This author has not been identified. Look up 'Luis Sánchez' in Google

Carlos Delgado Kloos

This author has not been identified. Look up 'Carlos Delgado Kloos' in Google