Scholar
Kenneth McMillan
Google Scholar ID: pzFc-eEAAAAJ
Microsoft Research
Formal verification
logic
machine learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,539
H-index
29
i10-index
56
Publications
20
Co-authors
0
