Statistics
Publications
3
Citations
290
H-Index
3
Active since
2000
Ken McMillan is an author at Microsoft (United States) specializing in computer science, formal methods, and computing.
Publications per year
2000–2013
3
3
Inductive invariant generation via abductive inference
Thomas Dillig, Boyang Li, Ken McMillan · 2013 · 143 citations
Inductive invariant generation via abductive inference
Thomas Dillig, Boyang Li, Ken McMillan · ACM SIGPLAN Notices · 2013 · 43 citations
1–3 of 3