Skip to content
Vinony

Kenneth McMillan

No biography available.

Works (2)

Cover of Tales from the Yankee Dugout
Tales from the Yankee Dugout
Cover of Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation