Theoretical and practical aspects of verification of quantum computersYehuda NavehElham Kashefiet al.2018DATE 2018