Verifiable semantic difference languages.

Thibaut Girka, David Mentr, Yann Rgis-Gianas

Browse the full PPDP paper archive.