Kurt Baty

According to our database, Kurt Baty authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Verification: what works and what doesn't.

Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev

Proceedings of the 41th Design Automation Conference, 2004