Coby Hanoch

According to our database, Coby Hanoch authored at least 1 paper in 2002.

Collaborative distances:

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

2002

Formal Verification Techniques: Industrial Status and Perspectives.

Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud

Proceedings of the 2002 Design, 2002