29 citations · 45 across the 6 of their papers we have counts for
1 paper · 1 filter
Ruben Gamboa, Jared Davis
This volume contains the proceedings of the Eleventh International Workshop on the ACL2 Theorem Prover and its Applications, held on May 30 and 31, 2013, in Laramie, Wyoming, USA.…