cotalks.dev
Login
Towards Automatic Verification of Unsafe Rust with Constrained Horn Solvers
(link)
Event:
Rust Verification Workshop 2021
Channel:
Rust
unsorted
todo
resolved
completed
canceled
submit