Travelled to:
1 × Poland
Collaborated with:
T.Genet
Talks about:
innermost (1) reachabl (1) analysi (1) rewrit (1)
Person: Yann Salmon
DBLP: Salmon:Yann
Contributed to:
Wrote 1 papers:
- RTA-2015-GenetS #analysis #reachability
- Reachability Analysis of Innermost Rewriting (TG, YS), pp. 177–193.