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