Home > Authors > Roderick Bloem

Roderick Bloem

All books by Roderick Bloem

(Displaying 3 Books)

Computer Aided Verification

Computer Aided Verification

Armin Biere

Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke

Hardware and Software : Verification and Testing

Hardware and Software : Verification and Testing

Roderick Bloem

Looking for another book by Roderick Bloem? Search for the book by title.