Ofer Strichman

Ofer Strichman

2 books in the database

Books

Hardware and Software : Verification and TestingOfer Strichman

Hardware and Software : Verification and Testing

Ofer Strichman · 2017

Theory and Applications of Satisfiability Testing - SAT 2010Ofer Strichman

Theory and Applications of Satisfiability Testing - SAT 2010

Ofer Strichman · 2010