Laurent George Reliable Software Technologies � Ada-Europe 2014 - 2014 - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783319083117 Subjects--Topical Terms: Compilers and InterpretersComputer Science