Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
ACM Digital Library