RustBelt: Logical Foundations for the Future of Safe Systems Programming #1 Post by msiemens » Sat, Jan 09, 2016, 11:36 AM UTC RustBelt: Logical Foundations for the Future of Safe Systems Programmingplv.mpi-sws.org