Formalization of a Realistic Verification-Condition Generator for an Intermediate Verification Language
2026 · International Conference on Interactive Theorem Proving · pp. 11:1-11:19 · 0 citations
· 21 references
Computer Science