The following pages link to (Q2851315):
Displayed 7 items.
- Toward automatic verification of quantum programs (Q667515) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Formal semantics of a classical-quantum language (Q2123052) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Hoare Semigroups (Q4640310) (← links)