Concepedia

Author

Stephen-John Craig

Heinrich Heine University Düsseldorf

Also Known As

Craig, Stephen-John, Stephen-John Craig

9

Publications

87

Citations

6

H-Index

22

Concepts

All Affiliations

Heinrich Heine University DüsseldorfUniversity of Southampton
SC

About

Stephen-John Craig is an author at Heinrich Heine University Düsseldorf specializing in automated reasoning, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

38

2

Computer Science

2

2

38

3

Language Studies

1

1

21

4

Management

1

1

17

5

Computer Engineering

1

1

21

Stephen-John Craig

×

2

Publications

38

Citations

2

H-Index

YearCitations

Page 1