Securing the Foundations of an Intermediate Language for Probabilistic Program Verification
2026 · International Conference on Interactive Theorem Proving · pp. 29:1-29:21 · 0 citations
· 50 references
Computer Science