3 ms·And they have not even mentioned Ada/SPARK... right.by johnisgood 3y agoAnd they have not even mentioned Ada/SPARK... right.