Join the Goodreads Author Program

Are you Byron Cook, author of the books below?
Verification, Model Checking, and Abstract Interpretation by Byron Cook Verification, Model Checking, and Abstract Interpretation by Byron Cook Verification, Model Checking, and Abstract Interpretation by Radhia Cousot Verification, Model Checking, and Abstract Interpretation by Byron Cook Formal Methods for Industrial Critical Systems by María Alpuente Computer Aided Verification by Tayssir Touili


To join the author program as Byron Cook, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads