Hacker News new | ask | show | jobs
by gmadsen 974 days ago
Ada is gaining popularity in safety critical systems
1 comments
gilcot 974 days ago
Ada/SPARK is already popular in safety critical systems
link