Search results
We did not find results for: Edmund M. Clarke.
Check spelling or type a new query.
We did not find results for: Edmund M. Clarke.
Check spelling or type a new query.
Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was... Wikipedia