Introduction
This website contains teaching material for the laboratory sessions of the course Safe System Programming (in Rust) (SSP-RS), at Télécom Paris / Polytechnique Institute of Paris.
ⓒ 2022-2024 Samuel Tardieu and Stefano Zacchiroli
This website contains teaching material for the laboratory sessions of the course Safe System Programming (in Rust) (SSP-RS), at Télécom Paris / Polytechnique Institute of Paris.
ⓒ 2022-2024 Samuel Tardieu and Stefano Zacchiroli