Thibaut Girka, David Mentré, Yann Régis-Gianas. Verifiable semantic difference languages. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 73-84, ACM, 2017. [doi]
Abstract is missing.