Concepedia

Author

Jack Grigg

Also Known As

J Grigg, Jack Grigg

5

Publications

55

Citations

3

H-Index

6

Concepts

JG

About

Jack Grigg is an author specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

43

2

Computer Science

1

1

43

3

Automated Reasoning

1

1

43

4

Formal Methods

1

1

43

5

Formal Verification

1

1

43

Jack Grigg

×

1

Publications

43

Citations

1

H-Index

YearCitations

Page 1