Join the Goodreads Author Program

Are you Roderick Bloem, author of the books below?
Hardware and Software by Roderick Bloem Trusted Systems by Roderick Bloem Decidability of Parameterized Verification by Roderick Bloem Hardware and Software by Roderick Bloem Software Verification by Roderick Bloem Hardware and Software by Roderick Bloem Software Verification by Roderick Bloem Trusted Systems by Roderick Bloem Computer Aided Verification by Armin Biere Handbook of Model Checking by Edmund M. Clarke Jr.


To join the author program as Roderick Bloem, 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