Rust and SPARK: Software Reliability for Everyone (2017)electronicdesign.com140 pointsoherrala8 years ago