RefinedRust: High-Assurance Verification of Rust Programs [video]
(youtube.com)
6 points
by matt_d
17 hours ago |
0 comments
