Title: Reliable Software Technologies - Ada-Europe 2011
Subjects: Logic design, Computer networks, Computer science, Software engineering, Ada (computer program language), Computer software, reliability, Mathematical Logic and Formal Languages, Programming Techniques, Computer Communication Networks, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters