[PLDI'26] VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type(…)

Download (MP3)




Bagikan