Eran Rippel

According to our database, Eran Rippel authored at least 1 paper in 2001.

Collaborative distances:

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

2001

On the Effective Deployment of Functional Formal Verification.

Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham

Formal Methods Syst. Des., 2001