G. Bezzi

According to our database, G. Bezzi authored at least 1 paper in 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Quantitative Evaluation of Formal Based Synthesis in ASIC Design.

G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza

Proceedings of the Theorem Provers in Circuit Design, 1994