On Faults and Faulty Programs

Ali Mili, Marcelo F. Frias, Ali Jaoua. On Faults and Faulty Programs. In Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller, editors, Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Volume 8428 of Lecture Notes in Computer Science, pages 191-207, Springer, 2014. [doi]

Abstract

Abstract is missing.