Yehuda Naveh

Récents

• Theoretical and practical aspects of verification of quantum computers