RReliable Software Technologies - Ada-Europe 2014Reliable Software Technologies - Ada-Europe 2014de Laurent George, Tullio VardanegaMateriasComputer software, reliabilityAda (computer program language)Software engineeringComputer scienceLogic designProgramming Languages, Compilers, InterpretersSpecial Purpose and Application-Based SystemsLogics and Meanings of Programs