Jacobs, B., & Fasse, J. (2025). An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model.
Chicago Style (17th ed.) CitationJacobs, Bart, and Justus Fasse. An Approach for Modularly Verifying the Core of Rust's Atomic Reference Counting Algorithm Against the (Y)C20 Memory Consistency Model. 2025.
MLA (9th ed.) CitationJacobs, Bart, and Justus Fasse. An Approach for Modularly Verifying the Core of Rust's Atomic Reference Counting Algorithm Against the (Y)C20 Memory Consistency Model. 2025.
Warning: These citations may not always be 100% accurate.