DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses