Ken McMillan

Identifiers

• name variant Ken McMillan 0.60 · backfill

Papers (1)

1. Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types cs.LO · 2013 · author #2

Mentions

• 1306.5264 #2 · backfill · confidence 0.70 Ken McMillan

Frequent Coauthors

• Andrey Rybalchenko 1 shared papers
• Nikolaj Bjorner 1 shared papers