Reliable Software Technologies - Ada-Europe 2011de Alexander RomanovskyMateriasLogic designComputer networksComputer scienceSoftware engineeringAda (computer program language)Computer software, reliabilityMathematical Logic and Formal LanguagesProgramming TechniquesComputer Communication Networks