Category:Randal Bryant

From Wikimedia Commons, the free media repository
Jump to: navigation, search
English: Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware, and more recently some forms of software.

Media in category "Randal Bryant"

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