
Author
Byron Cook
VP, Distinguished Scientist
Automated Reasoning Group