15 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
Nikolaj Bjørner, Fabio Fioravanti, Andrey Rybalchenko +1
This volume contains the proceedings of HCVS 2014, the First Workshop on Horn Clauses for Verification and Synthesis which was held on July 17, 2014 in Vienna, Austria as a satelli…