Pages that link to "Item:Q5370916"

The following pages link to Invariants of quantum programs: characterisations and generation (Q5370916):

Displaying 4 items.

• Toward automatic verification of quantum programs (Q667515) (← links)
• An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
• (Q3384929) (← links)
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)