bn:03826758n
Noun Named Entity
ES
Randal Bryant
EN
Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Wikipedia
Relations
Sources