@inproceedings{AlbertAGP08a,
author = {E.~Albert and P.~Arenas and S.~Genaim and G.~Puebla},
title = {Dealing with Numeric Fields in Termination Analysis of Java-like Languages},
booktitle = {10th Workshop on Formal Techniques for Java-like Programs},
editor = {Marieke Huisman},
month = {July},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2008}
}