DOI,IST REx ID,Research Group,Title of publication
10.1145/2676726.2676968,1604,KrCh,Quantitative interprocedural analysis