Michael Mishaeli

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
Formal Verification of Backward Compatibility of Microcode. CAV (2005)