Reliable Software Technologies - Ada-Europe 2014

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