Proceedings of the ACM SIGAda annual international conference on SIGAda
ACM Digital Library