9 citations · 11 across the 10 of their papers we have counts for
1 paper · 1 filter
Freek Verbeek, Julien Schmaltz
This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2'14, a two-day workshop held in Vienna, Austria, on…