Abstract
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of C Programs on Quantum Computers
Original language | English |
---|---|
Publication status | Published - 2022 |
Fields of Science and Technology Classification 2012
- 102 Computer Sciences