Collaborated with:
A.Miné A.Ouadjaout
Talks about:
abstract (1) domain (1) relat (1) numer (1) tree (1)
Person: Matthieu Journault
DBLP: Journault:Matthieu
Contributed to:
Wrote 1 papers:
- ESOP-2019-JournaultMO #abstract domain
- An Abstract Domain for Trees with Numeric Relations (MJ, AM, AO), pp. 724–751.