Safe Systems Programming in Rust2021-03-2225 OA AI RRalf Jung *JJacques-Henri Jourdan RRobbert Krebbers DDerek Dreyer DOI:10.1145/3418295OriginalShareSaveView PDFAbstract En