Lien AdaCore and Ferrous Systems Joining Forces to support certified Rust for mission and safety-critical Posté par Benoît Laurent (site web personnel) le 02 février 2022 à 12:27. Étiquettes : adacore rust ferrous-systems ada 2 2fév.2022 https://www.reddit.com/r/rust/comments/sijixb/adacore_and_ferrous_systems_joining_forces_to/