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.