Alexander Romanovsky, Tullio Vardanega Reliable Software Technologies � Ada-Europe 2011 - 2011 ISBN: 978-3-642-21338-0 Subjects--Topical Terms: Computer Communication NetworksLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science