Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings - Kordon, Fabrice (Herausgeber); Vardanega, Tullio (Herausgeber) (Programming and Software Engineering, 2008)