Concepedia

Author

Stephen Heumann

Also Known As

Stephen Heumann, Stephen T. Heumann

14

Publications

734

Citations

5

H-Index

17

Concepts

All Affiliations

SH

About

Stephen Heumann is an author at University of Illinois Urbana-Champaign specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

720

2

Computer Science

5

5

720

3

Computer Engineering

2

2

557

4

Compilers

2

2

138

5

Systems Engineering

1

1

25

Stephen Heumann

×

5

Publications

720

Citations

5

H-Index

YearCitations

Page 1