Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili. Relational Mathematics for Relative Correctness. In Wolfram Kahl, Michael Winter, José N. Oliveira, editors, Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Volume 9348 of Lecture Notes in Computer Science, pages 191-208, Springer, 2015. [doi]
Abstract is missing.