Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings - Craeynest, Dirk; Craeynest, Dirk; Strohmeier, Alfred; Strohmeier, Alfred (Springer Berlin Heidelberg : Imprint: Springer, 2001)