Music |
Video |
Movies |
Chart |
Show |
Giallar: Push-button Verification for the Qiskit Quantum Compiler (ACM SIGPLAN) View | |
Mission-capable Quantum Computing for Software Verification and Validation (VV) (Software Engineering Institute | Carnegie Mellon University) View | |
Verifying Optimizations of Concurrent Programs in the Promising Semantics (ACM SIGPLAN) View | |
() View | |
() View | |
() View | |
() View | |
() View | |
() View | |
() View |