Author:Kenneth L. McMillan

Publications
LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors) EPiC Series in Computing, volume 26
Program Verification as Satisfiability Modulo Theories Nikolaj Bjorner, Kenneth McMillan and Andrey Rybalchenko In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories