Pages that link to "Item:Q2323970"

The following pages link to An assertion-based program logic for probabilistic programs (Q2323970):

Displaying 2 items.

• Formal semantics of a classical-quantum language (Q2123052) (← links)
• Probabilistic Lipschitz analysis of neural networks (Q2233541) (← links)