111 citations · 347 across the 14 of their papers we have counts for
1 paper · 1 filter
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…