Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings - Llamosi, Albert; Llamosi, Albert; Strohmeier, Alfred; Strohmeier, Alfred (Springer Berlin Heidelberg : Imprint: Springer, 2004)