About Wikimedia Commons
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.
Edmund Clarke, Randal...
Randal Bryant FLoC 200...
Randal Bryant, Rajeev...
Read in another language
This page is available in 3 languages
Last modified on 21 September 2010, at 18:05
Wikimedia Commons ™
Content is available under
CC BY-SA 3.0
unless otherwise noted.