Source
Randal Bryant, Wikipedia
Web Source
Facts
Urlhttps://en.wikipedia.org/wiki/Randal_Bryant
Sources
Randal Bryant, Wikipedia
Lead sectionQuote, Lead section
Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware and software.
Claims Backed By This Source (5 claims)
This source backs 5 claims across the atlas. As facts: 2 well-attested. As cited relationships: 1 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Pioneers, 4 claims: 1 well-attested, 1 holds, 2 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.