Reliable Software Technologies � Ada-Europe 2014
Laurent George, Tullio Vardanega
Reliable Software Technologies � Ada-Europe 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783319083117
Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Reliable Software Technologies � Ada-Europe 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783319083117
Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages