3 ms·
RustBelt: Logical Foundations for the Future of Safe Systems Programming (2019)
- X6S1x6Okd1st 5y agoThe link in the page was always broken or rotted, this appears to be the right link: http://plv.mpi-sws.org/rustbelt/ http://plv.mpi-sws.org/rustbelt/