Kenneth McMillan
Kenneth McMillan
3 books in the database
Books
Verification, Model Checking, and Abstract InterpretationKenneth McMillan
Verification, Model Checking, and Abstract Interpretation
Kenneth McMillan · 2014
Tales from the Yankee DugoutKenneth McMillan
Tales from the Yankee Dugout
Kenneth McMillan · 2001
Newest New NormalKenneth McMillan
Newest New Normal
Kenneth McMillan · 2022