Some notes on Rust, mutable aliasing and formal verification

info website
, ,
1

https://graydon2.dreamwidth.org/312681.html