Safe and Secure Software: An Invitation to Ada 2012 (2015) [pdf]adacore.com3 points·kbp··0 commentsOpen articleSaveView on HN