DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:th_854,821,KrCh,Algorithmic advances in program analysis and their applications