Stav dette: Proceedings : ACM SIGAda Annual International Conference (SIGAda 2001) : September 30-October 4, 2001, Bloomington, MN, USA / sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with Ada Europe ... [et al.].