Reliable Software Technologies Ada-Europe 2000 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings - Keller, Hubertus B.; Keller, Hubertus B.; Plödereder, Erhard; Plödereder, Erhard (Springer Berlin Heidelberg : Imprint: Springer, 2000)