Asa Ben-Tzur

According to our database, Asa Ben-Tzur authored at least 1 paper in 2007.

Collaborative distances:

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

2007

An ADL for Functional Specification of IA32.

Wei Qin, Asa Ben-Tzur, Boris Gutkovich

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007