111 citations · 383 across the 23 of their papers we have counts for
1 paper · 2 filters
Kesha Hietala, Robert Rand, Shih-Han Hung +2
As quantum computing progresses steadily from theory into practice, programmers will face a common problem: How can they be sure that their code does what they intend it to do? Thi…