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