Zachary Grannan

1. Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
   2025/03/27 by Zachary Grannan, Grannan, Zachary, Aurel Bílý +11 · 2 citations
   Computer Science · #Software Testing and Debugging Techniques #Logic, programming, and type systems #Formal Methods in Verification