Concepedia

Author

Robert Bellarmine Krug

The University of Texas at Austin

Also Known As

Krug, Robert, Krug, Robert Bellarmine, Robert Bellarmine Krug

10

Publications

110

Citations

5

H-Index

17

Concepts

All Affiliations

The University of Texas at Austin
RB

About

Robert Bellarmine Krug is an author at The University of Texas at Austin specializing in formal verification, engineering, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

46

2

Computer Engineering

1

1

13

3

Computer Science

1

1

13

4

Systems Engineering

1

1

33

5

Computer Architecture

1

1

13

Robert Bellarmine Krug

×

3

Publications

57

Citations

3

H-Index

YearCitations

Page 1