Abstract
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of C Programs on Quantum Computers
| Originalsprache | Englisch |
|---|---|
| Publikationsstatus | Veröffentlicht - 2022 |
Systematik der Wissenschaftszweige 2012
- 102 Informatik
Unicorn
Christoph Kirsch (Entwickler/in), Daniel Kocher (Entwickler/in), Michael Starzinger (Entwickler/in)
Publikation: Elektronische/multimediale Veröffentlichungen › Software