1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Daniel Drodt, Reiner Hähnle
Rust is a modern programming language that guarantees memory safety and the absence of data races with a strong type system. We present RustyDL, a program logic for Rust, as a foun…