Travelled to:1 × Japan
Collaborated with:∅
Talks about:analysi (1) termin (1) chang (1) bound (1) size (1)
Person: James Avery
DBLP: Avery:James
Contributed to:
Wrote 1 papers:
- FLOPS-2006-Avery #analysis #bound #termination
- Size-Change Termination and Bound Analysis (JA), pp. 192–207.












