Title: Reliable Software Technologies - Ada-Europe 2014
Subjects: Computer software, reliability, Ada (computer program language), Software engineering, Computer science, Logic design, Programming Languages, Compilers, Interpreters, Special Purpose and Application-Based Systems, Logics and Meanings of Programs, Mathematical Logic and Formal Languages