Collaborated with:
Thibaut Girka Y.Régis-Gianas
Talks about:
languag (1) verifi (1) semant (1) differ (1)
Person: David Mentré
DBLP: Mentr=eacute=:David
Contributed to:
Wrote 1 papers:
- PPDP-2017-GirkaMR #difference #semantics
- Verifiable semantic difference languages (TG, DM, YRG), pp. 73–84.