Michael Mishaeli

According to our database, Michael Mishaeli authored at least 1 paper in 2005.

Collaborative distances:

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

2005

Formal Verification of Backward Compatibility of Microcode.

Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005