David L. Rager
Identifiers
- name variant David L. Rager 0.60 · backfill
Papers (1)
- Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications cs.LO · 2015 · author #2
Mentions
- 1509.05526 #2 · backfill · confidence 0.70 David L. Rager
Frequent Coauthors
- Matt Kaufmann 1 shared papers