Comment Comment by Artemis2 That's not surprising, given that safety-critical software is very often programmed in Ada or SPARK. parent Artemis2 12 years ago
