Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology
ACM Digital Library