Concepedia

Author

Rob Sumners

Advanced Micro Devices (United States)

Also Known As

R. Sumners, ROB SUMNERS, Rob Sumners, Sumners, Rob

16

Publications

84

Citations

5

H-Index

10

Concepts

All Affiliations

Advanced Micro Devices (United States)The University of Texas at Austin
RS

About

Rob Sumners is an author at Advanced Micro Devices (United States) specializing in formal verification, verification, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

18

2

Computer Science

1

1

18

3

Systems Engineering

1

1

18

4

Software Analysis

1

1

18

5

Automated Reasoning

1

1

18

Rob Sumners

×

2

Publications

53

Citations

2

H-Index

YearCitations

Page 1