DOI,IST REx ID,Research Group,Title of publication
null,17053,ToHe,Ternary simulation as abstract interpretation (Work in Progress)