Proceedings of the 2005 annual ACM SIGAda international conference on Ada The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies - SigAda ’05



2005