77 citations · 96 across the 8 of their papers we have counts for
1 paper · 1 filter
Geoffrey W. Hamilton, Temesghen Kahsai, Maurizio Proietti
These proceedings include selected papers presented at the 9th Workshop on Horn Clauses for Verification and Synthesis and the Tenth International Workshop on Verification and Prog…