3 ms·Do you work in Ada/SPARK professionally? Curious what industry if so.by kylereeve 4y agoDo you work in Ada/SPARK professionally? Curious what industry if so.