98 citations · 117 across the 5 of their papers we have counts for
1 paper · 1 filter
Anna Slobodova, Warren Hunt
This volume contains the proceedings of the Fourteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2017, a two-day workshop held in Austin, Texas,…