Pages that link to "Item:Q2373709"

The following pages link to Reasoning about probabilistic sequential programs (Q2373709):

Displaying 5 items.

• Importing logics: soundness and completeness preservation (Q361861) (← links)
• Importing logics (Q694499) (← links)
• Formal semantics of a classical-quantum language (Q2123052) (← links)
• Reverse Hoare Logic (Q3095238) (← links)
• VPHL: a verified partial-correctness logic for probabilistic programs (Q5971408) (← links)