Ofer Strichman · 2 obras en el catálogoObrasHardware and Software : Verification and TestingTTheory and Applications of Satisfiability Testing - SAT 2010Theory and Applications of Satisfiability Testing - SAT 2010
TTheory and Applications of Satisfiability Testing - SAT 2010Theory and Applications of Satisfiability Testing - SAT 2010