Pages that link to "Item:Q667515"
From MaRDI portal
The following pages link to Toward automatic verification of quantum programs (Q667515):
Displaying 4 items.
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Demonstration of quantum nonlocality for multi-qubit systems via quantum programming (Q2197052) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
