Rust and SPARK: Software Reliability for Everyone

Article URL: https://www.electronicdesign.com/industrial/rust-and-spark-software-reliability-everyone

Comments URL: https://news.ycombinator.com/item?id=18479846

Points: 7

# Comments: 0

from Hacker News: Front Page https://ift.tt/2OQoau8
via