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.












