@inproceedings{jvm-termin,
author = {E.~Albert and P.~Arenas and M. Codish and S.~Genaim and G.~Puebla and D.~Zanardini},
title = {Termination {A}nalysis of {J}ava {B}ytecode},
booktitle = {9th International Workshop on Termination, WST'07},
address ={Paris, France},
month = {June},
note = {5 pages},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2007}
}