DOI,IST REx ID,Title of publication
10.1109/ASE.2008.13,4568,Program analysis with dynamic change of precision