Category:Edmund M. Clarke

From Wikimedia Commons, the free media repository
Jump to: navigation, search
Authority control

English: Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.

Media in category "Edmund M. Clarke"

The following 4 files are in this category, out of 4 total.