_id,doi,title
10906,10.1007/978-3-642-28756-5_46,HSF(C): A software verifier based on Horn clauses