Pages that link to "Item:Q3186602"
From MaRDI portal
The following pages link to Towards Quantum Programs Verification: From Quipper Circuits to QPMC (Q3186602):
Displaying 6 items.
- Verification of quantum computation: an overview of existing approaches (Q2311888) (← links)
- Certified quantum computation in Isabelle/HOL (Q2666954) (← links)
- (Q3385623) (← links)
- Invariants of quantum programs: characterisations and generation (Q5370916) (← links)
- Quantum encoding of dynamic directed graphs (Q6151614) (← links)
- Mirrors and memory in quantum automata (Q6160780) (← links)