Last modified on 21 September 2010, at 18:05

Category:Randal Bryant

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.