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 is missing.