5 citations · 16 across the 6 of their papers we have counts for
1 paper · 1 filter
David Hardin, Julien Schmaltz
This volume contains the proceedings of ACL2 2011, the International Workshop on the ACL2 Theorem Prover and its Applications. The workshop was held in Austin, Texas, USA, on Novem…