Last modified on 26 October 2014, at 13:30

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.