TY - DATA AU - Laurent George AU - Tullio Vardanega TI - Reliable Software Technologies � Ada-Europe 2014 T2 - Lecture Notes in Computer Science SN - 9783319083117 PB - Springer KW - Compilers and Interpreters KW - Computer Science UR - https://link.springer.com/openurl?genre=book&isbn=978-3-319-08311-7 ER -