Articles matching “Fasse”

1. Bart Jacobs, Justus Fasse, An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model, pp. 1:1-13, DOI. Volume 25, no. 1 ( 2026)