TY - DATA AU - Marko Bertogna AU - Eduardo Quinones AU - Luis Miguel Pinho TI - Reliable Software Technologies � Ada-Europe 2016 T2 - Lecture Notes in Computer Science SN - 9783319390833 PB - Springer KW - Compilers and Interpreters KW - Computer Science UR - https://link.springer.com/openurl?genre=book&isbn=978-3-319-39083-3 ER -