52 citations · 103 across the 25 of their papers we have counts for
1 paper · 1 filter
Ruben Gamboa, Panagiotis Manolios
The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2…